Dr Jeremy Gow

I was research fellow at UCLIC until August 2007, working on the User-Centred Interactive Search project. I'm now based at Imperial College London.

Research interests

I'm interested in various topics related to Human-Computer Interaction:

Formal models and methods in HCI (MAUI) [publications]
Digitial libraries, especially in the humanities (UCIS) and mathematics [publications]
- I organised the DL-CUBA workshop at JCDL 2006.
Computer support for mathematicians [publications]
- Mathematical user interfaces (IMP)
- Mathematical knowledge management
- Automated reasoning (my PhD on proof planning)