Mateja Jamnik

Researcher in Artificial Intelligence

Research Topics

In my work I want to build AI systems that work in more human-like ways. I explore how people choose to represent their problems and how they solve them using informal techniques. I then computationally model this on computers to enable machines to solve problems in a similar way to humans. This involves:

  • developing knowledge representations that enable rigorous yet accessible reasoning in diverse domains;
  • analysing and automating the choices of human-centred representations in AI systems;
  • devising techniques for automated reasoning systems to prove theorems using informal human-oriented approaches like diagrams;
  • applying AI and reasoning techniques to medical data to advance personalised cancer medicine;
  • 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. I am also an associate fellow at the Leverhulme Centre for the Future of Intelligence.

Projects and Grants

  • ESRC DTC Studentship with Faculty of Education. PhD Supervisor. 2019-2023.
  • Mark Foundation for Cancer Research. AI for Integrative Cancer Medicine. Investigator. 2018-2021.
  • EPSRC Grant EP/R030650/1: How to (Re)represent it?. Investigator. 2018-2019.
  • 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.