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 combine AI reasoning with machine learning techniques in order to obtain explainable model predictions as well as to be able to apply them in applications where it is important to understand the machine's output. I am also interested in combining neural techniques (including LLMs) with symbolic methods in reasoning, in particular for mathematical discovery. I apply my theoretical work to clinical decision support systems in personalised cancer medicine as well as in education to personalised tutoring systems.

Some research projects:

  • explainability methods for deep learning,
  • integrating symbolic methods with neural machine learning (including LLMs) for reasoning,
  • human adaptable knowledge representations for AI systems,
  • multi-modal machine learning,
  • tabular foundation models.

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.


Selected Grants


  • EluetherAI PhD Studentship. PhD Supervisor. 2024-2028.

  • UKRI CDT grant EP/Y030826/1. UKRI AI Centre for Doctoral Training in Decision Making for Complex Systems. CDT between Universities of Manchester and Cambridge. Co-investigator. 2024-2032.

  • Dept. of Defence grant G124369. SYNERGIA: Multimodal Data Analysis for Breast Cancer. Co-investigator. 2023-2027.
    Collaboration with Prof Jean Abraham, Department of Oncology.

  • EPSRC Grant EP/T019603/1: Automating Representation Choice for AI Tools. Investigator. 2020-2023.
    Collaboration with Prof Peter Cheng, University of Sussex.

  • ESRC DTC Studentship with Faculty of Education. PhD Supervisor. 2019-2023.
    Collaboration with Prof Andreas Stylianides, Faculty of Education.

  • Mark Foundation for Cancer Research. AI for Integrative Cancer Medicine. Investigator. 2018-2022.
    Collaboration with Prof Pietro Lio.
  • 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.


Student Projects for Part II, Part III and MPhil

Here are some suggestions for student projects (local access only).