Regular biography
Mateja Jamnik is a Fellow at the University of Cambridge, Department of Computer Science and Technology. She is a Professor of Artificial Intelligence and a member of the Artificial Intelligence research group and the Programming, Logic, and Semantics Group. Her research focuses on artificial intelligence, human-like computation, machine learning, automated reasoning, diagrammatic reasoning, knowledge representation, theorem proving, cognitive science, and human-computer interaction. She applies her theoretical work to clinical decision support systems in personalised cancer medicine and to personalised tutoring systems in education. She is also an associate fellow at the Leverhulme Centre for the Future of Intelligence and founded the women@CL initiative.
Scholar-generated biography
Mateja Jamnik is a Professor of Artificial Intelligence at the University of Cambridge, specializing in artificial intelligence, explainability, AI for maths, machine learning, and automated reasoning. Her research explores the integration of language models with automated theorem provers, focusing on formal theorem proving, concept embedding models, and diagrammatic reasoning. She investigates methods to enhance the interpretability of AI systems, particularly in mathematical contexts, and addresses challenges in model fairness and transparency. Her work bridges symbolic and sub-symbolic reasoning, aiming to improve the reliability and explainability of AI in complex domains such as mathematics and biomedical data analysis.