I am a Senior University Lecturer in the Computer Laboratory of the University of Cambridge, Cambridge, UK. I also founded the women@CL initiative. I used to be 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.


University of Cambridge Computer Laboratory

Mateja Jamnik
Computer Laboratory
The University of Cambridge
JJ Thomson Avenue
Cambridge, CB3 0FD, UK

Phone: +44 (0)1223 763 587
Email: Mateja.Jamnik@cl.cam.ac.uk