Mateja Jamnik

Researcher in Artificial Intelligence


PhD Students

  • Botty Dimanov: Explanatory Artificial Intelligence.
  • Duo Wang: Bridging Computer Science with Neuroscience Towards a New Understanding of Reasoning. (First supervisor with Pietro Lio)
  • Edward Ayers: Automated Mathematician. (First supervisor with Tim Gowers in Maths Department)
  • Aaron Stockdill: Automating representation change across domains for reasoning.
  • Agnieszka Slowik: Machine Learning in Automated Theorem Proving. (First supervisor with Sean Holden)
  • Paul Scherer: Utilization of Graph Structured Data in Machine Learning for Oncology. (First supervisor with Pietro Lio)
  • Dmitry Kazhdan: Improving Interpretability of Machine Learning Systems. (First supervisor with Pietro Lio)
  • Dimitrios Deslis: Developing an Interactive Computer Support System to Facilitate Teacher Learning of Proof-related Instruction in Mathematics. (First supervisor with Andreas Stylianides in Education Faculty)
  • Mei Yang: Designing a Computer-assisted System For Prospective Mathematical Teachers’ Training of Proof-Related Instruction . (First supervisor with Andreas Stylianides in Education Faculty)

Post Doctoral Associates

Past PhD Students

  • Advait Sarkar (2017): Interactive Analytical Modelling. (First supervisor with Alan Blackwell and Martin Spott)
  • Matej Urbas (2013): Mechanising Heterogeneous Reasoning in Theorem Provers.
  • Daniel Winterstein (2004): Automating Diagrammatic Reasoning in Continuous Domains. (Second supervisor with Alan Bundy at University of Edinburgh)