I am a Senior University Lecturer in the Computer Laboratory of the University of Cambridge, Cambridge, UK. I also run the women@CL initiative. Until recently I was also an EPSRC Advanced Research Fellow.
I am interested in exploring and computationally modeling how people reason, in particular how they solve problems in mathematics. Broadly, my research is in the areas of artificial intelligence, automated reasoning, diagrammatic reasoning, theorem proving, proof planning, cognitive science, machine learning, human-computer interaction, knowledge representation, agent technology.
The University of Cambridge
JJ Thomson Avenue
Cambridge, CB3 0FD, UK
Phone: +44 (0)1223 763 587