Mateja Jamnik

Researcher in Artificial Intelligence

Research Topics

In my work I explore how people solve problems using informal techniques like diagrams. I then computationally model this type of reasoning on computers to enable machines to reason in a similar way to humans. This involves:

  • developing knowledge representations that enable rigorous yet accessible reasoning in diverse domains;
  • devising techniques for automated reasoning systems to prove theorems using informal human-oriented approaches like diagrams, analogy and symmetry;
  • analysing and combining multiple representations (e.g., sentences, diagrams, images, natural language) in a uniform reasoning framework;
  • investigating the biological basis for human visual inference using neuroscience and machine learning;
  • applying these techniques to inference systems to better understand human reasoning.
I am a member of the Artificial Intelligence research group and also of the Programming, Logic, and Semantics Group.

Projects and Grants

  • Leverhulme Trust Grant RPG-2016-082. ARD: Accessible Reasoning with Diagrams. Investigator. 2016-2019.
  • Industrial Funding from Microsoft Research, Facebook, Google, IBM. women@CL Network. Investigator. 2008-2015.
  • EPSRC Advanced Research Fellowship GR/R76783/01. Automating Informal Human Mathematical Reasoning. Investigator. 2002-2012.
  • EPSRC CASE Studentship CASE/CNA/07/66. PhD Supervisor. 2008-2012.
  • NSF Award 1036113. Doctoral Symposium at the Sixth International Conference on the Theory and Application of Diagrams. Co-investigator with Prof. Ashok Goel and Prof. Hari Narayanan. 2010.
  • EPSRC Grant EP/G020523/1. Conferences on Intelligent Computer Mathematics. Co-investigator with Dr~Volker Sorge. 2008.
  • EPSRC Network Grant GR/T09231/01. women@CL: EPSRC Network for Women in Computing Research. Co-investigator with Prof. Ursula Martin. 2004-2008.
  • EPSRC Grant GR/S87676/01. Diagrams 2004 Conference. Co-investigator with Dr A.F. Blackwell. 2004-2005.
  • European Commission Grant HPRN-CT-2000-00102. Calculemus: System for Integrated Computation and Deduction. Staff member at Birmingham University. 2000--2004.