PeopleofSuperintelligence

Researcher

Mateja Jamnik

Mateja Jamnik is a Cambridge AI professor whose work connects human-like mathematical reasoning, machine learning and explainable AI. She studied mathematics and computer studies at Trent, completed a postgraduate diploma at Cambridge's Wolfson College, and pursued an AI PhD in Edinburgh on diagrammatic proofs. Her 2001 book Mathematical Reasoning with Diagrams describes a formal system for diagrammatic arithmetic; she held research and lecturer roles in Birmingham and Cambridge and advised the House of Lords AI Committee from 2017 to 2018. She founded women@CL, and the Royal Society named her a runner-up for its Athena Prize in 2016. Since October 2019, she is Professor of Artificial Intelligence at Cambridge, where she combines AI reasoning with machine learning for explainable applications, serves on the Home Office Science Advisory Council, and leads work on neural-symbolic reasoning; in 2026, she coauthored a declaration on AI and mathematics.

Works
252
Citations
1,711
h-index
20
Badges

Publication numbers from OpenAlex, as of 27 October 2026.

Timeline

  1. 1991–1995

    Mathematics and computer studies

    She earns a Joint Honours BSc in Mathematics and Computer Studies at Trent University from 1991 to 1994, and completes a postgraduate diploma in computer science at Cambridge's Computer Laboratory, Wolfson College, from 1994 to 1995.

  2. 1995–1999

    An AI PhD on diagrammatic proofs

    She pursues an AI PhD in Edinburgh's Mathematical Reasoning Group from 1995 to 1998 under supervisors Alan Bundy and Ian Green. Her project automates diagrammatic proofs of arithmetic arguments, and her thesis is dated July 1999.

  3. 1998–2002

    A Birmingham research fellowship

    She becomes a Research Fellow in the University of Birmingham's School of Computer Science from 1998 to 2002 and works on methods for proof planning in mathematics.

  4. 2001

    Mathematical Reasoning with Diagrams

    Her 2001 book describes a semi-automatic proof system called Diamond for diagrammatic reasoning and arithmetic theorems.

  5. 2002–2019

    Cambridge research appointments

    She holds Cambridge's EPSRC Advanced Research Fellowship in the Computer Laboratory from 2002 to 2012. She serves as University Lecturer from 2003 to 2011, Senior University Lecturer from 2011 to 2017, and Reader in Artificial Intelligence from 2017 to 2019; her fellowship project automates informal human mathematical reasoning.

  6. By 2016

    A Royal Society Athena runner-up

    She founds women@CL, a computer science initiative that starts to change culture in computing departments nationwide. The Royal Society names her a runner-up for its 2016 Athena Prize for advancing women in science.

  7. 2017–2018

    Advising the Lords AI committee

    She serves as Specialist Adviser to the House of Lords Select Committee on Artificial Intelligence from 2017 to 2018.

  8. As of October 2026

    Professor and Home Office council member

    Since October 2019, she is Professor of Artificial Intelligence in Cambridge's Department of Computer Science and Technology. She combines AI reasoning with machine learning to obtain explainable model predictions for applications in personalised cancer medicine and personalised tutoring; her projects develop explainability methods for deep learning, integrate symbolic approaches with neural machine learning for reasoning, and create human-adaptable knowledge representations. She joins the Home Office Science Advisory Council in June 2025 and coauthors the Leiden Declaration on Artificial Intelligence and Mathematics in September 2026, which calls for action on AI's challenges to mathematics research. She is Group Lead of Mateja Jamnik’s Group at Cambridge’s CHIA. Since 2018, she has held an Associate Fellowship at the Leverhulme Centre for the Future of Intelligence.

Career

  1. Since 2025Government of the United KingdomMember
  2. Since 2019University of CambridgeProfessor of Artificial Intelligence
  3. Since 2018University of CambridgeAssociate Fellow, Leverhulme Centre for the Future of Intelligence
  4. NowUniversity of CambridgeGroup Lead, Mateja Jamnik’s Group at CHIA
  5. 2023–2026Bridge University
  6. 2017–2019University of CambridgeReader in Artificial Intelligence
  7. 2017–2018House of LordsSpecialist Adviser
  8. 2011–2017University of CambridgeSenior University Lecturer
  9. 2003–2011University of CambridgeUniversity Lecturer
  10. 2002–2012University of CambridgeEPSRC Advanced Research Fellow, Computer Laboratory
  11. 1998–2002University of BirminghamResearch Fellow
  12. University of CambridgeFounder of women@CL

Education

  1. 1998University of EdinburghPhD study in AI, Mathematical Reasoning Group, 1995–1998
  2. 1995University of CambridgePostgraduate diploma study in computer science, Computer Laboratory, Wolfson College, 1994–1995
  3. 1994Trent UniversityJoint Honours BSc study in Mathematics and Computer Studies, 1991–1994

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

Checked career sources: cl.cam.ac.uk, era.ed.ac.uk, royalsociety.org.

Colleagues

People named in this biography, and people with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Mateja Jamnik yet. Send us a free-licensed photo.

  1. Mateja Jamnik: Profile cl.cam.ac.uk. Checked 27 October 2026.
  2. Automating Diagrammatic Proofs of Arithmetic Arguments era.ed.ac.uk. Checked 27 October 2026.
  3. Mathematical Reasoning with Diagrams, Jamnik press.uchicago.edu. Checked 27 October 2026.
  4. London Mathematical Society committee awarded Royal Society Athena Prize for increasing gender diversity in mathematics royalsociety.org. Checked 27 October 2026.
  5. Mateja Jamnik | Department of Computer Science and Technology cst.cam.ac.uk. Checked 27 October 2026.
  6. Fundamentals of Human-Inspired AI - CHIA chia.cam.ac.uk. Checked 27 October 2026.
  7. Home Office Science Advisory Council - GOV.UK gov.uk. Checked 27 October 2026.
  8. Leiden Declaration on Artificial Intelligence and Mathematics arxiv.org. Checked 27 October 2026.