skip to content

Department of Computer Science and Technology

  • Professor of Artificial Intelligence

I am a full Professor of Artificial Intelligence in the Department of Computer Science and Technology (Computer Laboratory) at the University of Cambridge, UK. I am also an associate fellow at the Leverhulme Centre for the Future of Intelligence. Recently I served as Specialist Adviser to the House of Lords Select Committee on Artificial Intelligence. I founded the women@CL initiative.

More information is on my personal homepage.

 

Research

In my work I want to build AI systems that work in more human-like ways. I explore how people 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. In particular, I apply this theoretical work to clinical decision support systems in personalised cancer medicine as well as in education to personalised tutoring systems.

Broadly, my research is in the areas of artificial intelligence, human-like computation, machine learning, automated reasoning, diagrammatic reasoning, knowledge representation, theorem proving, cognitive science, human-computer interaction.

I am a member of the Artificial Intelligence research group and also of the Programming, Logic, and Semantics Group.

Elements publications

Conference proceedings

2020

  • Raggi, D., Stockdill, A., Jamnik, M., Garcia Garcia, G., Sutherland, HEA. and Cheng, PCH., 2020. Dissecting Representations Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 12169 LNAI
    Doi: http://doi.org/10.1007/978-3-030-54249-8_11
  • Slowik, A., Mangla, C., Jamnik, M., Holden, SB. and Paulson, LC., 2020. Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract). AAAI,
  • Stockdill, A., Raggi, D., Jamnik, M., Garcia, GG., Sutherland, HEA., Cheng, PCH. and Sarkar, A., 2020. Correspondence-based analogies for choosing problem representations Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, v. 2020-August
    Doi: 10.1109/VL/HCC50065.2020.9127258
  • Dimanov, B., Bhatt, U., Jamnik, M. and Weller, A., 2020. You shouldn’t trust me: Learning models which conceal unfairness from multiple explanation methods. Frontiers in Artificial Intelligence and Applications: ECAI 2020,
    Doi: http://doi.org/10.3233/FAIA200380
  • Wang, D., Jamnik, M. and Lio, P., 2020. Abstract Diagrammatic Reasoning with Multiplex Graph Networks
  • Stockdill, A., Raggi, D., Jamnik, M., Garcia, GG., Sutherland, HEA., Cheng, PCH. and Sarkar, A., 2020. Cross-domain correspondences for explainable recommendations CEUR Workshop Proceedings, v. 2582
  • 2019

  • Cheng, PC-H., Garcia, GG., Sutherland, HEA., Raggi, D., Stockdill, A. and Jamnik, M., 2019. Elucidating the Cognitive Anatomy of Representation Systems. CogSci,
  • Raggi, D., Stockdill, A., Jamnik, M., Garcia Garcia, G., Sutherland, HEA. and Cheng, PCH., 2019. Inspection and Selection of Representations Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 11617 LNAI
    Doi: http://doi.org/10.1007/978-3-030-23250-4_16
  • Ayers, EW., Gowers, WT. and Jamnik, M., 2019. A Human-Oriented Term Rewriting System Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 11793 LNAI
    Doi: http://doi.org/10.1007/978-3-030-30179-8_6
  • 2018

  • Sato, Y., Stapleton, G., Jamnik, M. and Shams, Z., 2018. Deductive reasoning about expressive statements using external graphical representations. CogSci,
  • 2017

  • Shams, Z., Jamnik, M., Stapleton, G. and Sato, Y., 2017. Reasoning with concept diagrams about antipatterns in ontologies Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10383 LNAI
    Doi: http://doi.org/10.1007/978-3-319-62075-6_18
  • Sato, Y., Stapleton, G., Jamnik, M., Shams, Z. and Blake, A., 2017. How network-based and set-based visualizations aid consistency checking in ontologies ACM International Conference Proceeding Series, v. Part F130152
    Doi: http://doi.org/10.1145/3105971.3105988
  • 2016

  • 2016. Diagrammatic Representation and Inference - 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings Diagrams, v. 9781
  • Stapleton, G., Jamnik, M. and Shimojima, A., 2016. Effective representation of information: Generalizing free rides Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 9781
    Doi: 10.1007/978-3-319-42333-3_28
  • Sarkar, A., Spott, M., Blackwell, AF. and Jamnik, M., 2016. Visual discovery and model-driven explanation of time series patterns Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, v. 2016-November
    Doi: http://doi.org/10.1109/VLHCC.2016.7739668
  • 2015

  • Sarkar, A., Jamnik, M., Blackwell, AF. and Spott, M., 2015. Interactive visual machine learning in spreadsheets Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC, v. 2015-December
    Doi: 10.1109/VLHCC.2015.7357211
  • 2014

  • Urbas, M. and Jamnik, M., 2014. A framework for heterogeneous reasoning in formal and informal domains Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 8578 LNAI
    Doi: http://doi.org/10.1007/978-3-662-44043-8_28
  • 2012

  • Urbas, M. and Jamnik, M., 2012. Diabelli: A Heterogeneous Proof System. IJCAR, v. 7364
  • Urbas, M., Jamnik, M., Stapleton, G. and Flower, J., 2012. Speedith: A Diagrammatic Reasoner for Spider Diagrams. Diagrams, v. 7352
  • 2011

  • Urbas, M. and Jamnik, M., 2011. Heterogeneous proofs: Spider diagrams meet higher-order provers Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 6898 LNCS
    Doi: http://doi.org/10.1007/978-3-642-22863-6_29
  • 2010

  • Urbas, M. and Jamnik, M., 2010. Heterogeneous Reasoning in Real Arithmetic DIAGRAMMATIC REPRESENTATION AND INFERENCE, v. 6170
  • 2008

  • Ridsdale, M., Jamnik, M., Benton, N. and Berdine, J., 2008. Diagrammatic reasoning in separation logic Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 5223 LNAI
    Doi: http://doi.org/10.1007/978-3-540-87730-1_50
  • 2005

  • Benzmuller, C., Sorge, V., Jamnik, M. and Kerber, M., 2005. Can a higher-order and a first-order theorem prover cooperate? LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, v. 3452
  • 2004

  • Winterstein, D., Bundy, A. and Jamnik, M., 2004. On differences between the real and physical plane DIAGRAMMATIC REPRESENTATION AND INFERENCE, v. 2980
  • Winterstein, D., Bundy, A., Gurr, C. and Jamnik, M., 2004. An experimental comparison of diagrammatic and algebraic logics DIAGRAMMATIC REPRESENTATION AND INFERENCE, v. 2980
  • 2002

  • Jamnik, M., Kerber, M. and Pollet, M., 2002. Automatic learning in proof planning ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, v. 77
  • Jamnik, M., Kerber, M. and Pollet, M., 2002. Learn Omega-matic: System Description. CADE, v. 2392
  • Winterstein, D., Bundy, A., Gurr, C. and Jamnik, M., 2002. Using animation in diagrammatic theorem proving DIAGRAMMATIC REPRESENTATION AND INFERENCE, v. 2317
  • 2001

  • Jamnik, M., Kerber, M. and Benzmuller, C., 2001. Towards learning new methods in proof planning SYMBOLIC COMPUTATION AND AUTOMATED REASONING,
  • Benzmüller, C., Jamnik, M., Kerber, M. and Sorge, V., 2001. Experiments with an Agent-Oriented Reasoning System. KI/ÖGAI, v. 2174
  • Benzmuller, C., Jamnik, M., Kerber, M. and Sorge, V., 2001. Resource guided concurrent deduction SYMBOLIC COMPUTATION AND AUTOMATED REASONING,
  • 2000

  • Winterstein, D., Bundy, A. and Jamnik, M., 2000. A proposal for automating diagrammatic reasoning in continuous domains THEORY AND APPLICATION OF DIAGRAMS, PROCEEDINGS, v. 1889
  • 1997

  • Jamnik, M., Bundy, A. and Green, P., 1997. Automation of diagrammatic reasoning IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2,
  • Jamnik, M., 1997. Automation of Diagrammatic Proofs in Mathematics. IJCAI,
  • Słowik, A., Mangla, C., Jamnik, M., Holden, S. and Paulson, L., Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving
    Doi: 10.29007/q91g
  • Sarkar, A., Blackwell, A., Jamnik, M. and Spott, M., Interaction with uncertainty in visualisations
  • Shams, Y., Jamnik, M., Stapleton, G. and Sato, Y., Reasoning with concept diagrams about antipatterns
    Doi: http://doi.org/10.1007/978-3-319-62075-6_18
  • Shams, Z., Jamnik, M., Stapleton, G. and Sato, Y., Accessible Reasoning with Diagrams: from Cognition to Automation
  • Stapleton, G., Shimojima, A. and Jamnik, M., The Observational Advantages of Euler Diagrams with Existential Import
  • Shams, Z., Jamnik, M., Stapleton, G. and Sato, Y., Reasoning with Concept Diagrams about Antipatterns
    Doi: http://doi.org/10.29007/4ckv
  • Wang, D., Jamnik, M. and Lio, P., Investigating diagrammatic reasoning with deep neural networks
    Doi: 10.1007/978-3-319-91376-6_36
  • Slowik, A., Mangla, C., Jamnik, M., Holden, S. and Paulson, L., Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) Proceedings of the AAAI Conference on Artificial Intelligence,
  • Kazhdan, D., Dimanov, B., Jamnik, M., Lio, P. and Weller, A., Now You See Me (CME): Concept-based Model Extraction
  • Raggi, D., Stapleton, G., Stockdill, A., Jamnik, M., Garcia Garcia, G. and Cheng, P., How to (Re)represent it?
  • Shams, Z., Jamnik, M., Stapleton, G. and Sato, Y., iCon: A Diagrammatic Theorem Prover for Ontologies Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference (KR2018),
  • Journal articles

    2020

  • Kazhdan, D., Dimanov, B., Jamnik, M., Liò, P. and Weller, A., 2020. Now You See Me (CME): Concept-based Model Extraction. CoRR, v. abs/2010.13233
  • Wang, D., Jamnik, M. and Liò, P., 2020. Abstract Diagrammatic Reasoning with Multiplex Graph Networks. CoRR, v. abs/2006.11197
  • 2019

  • Simidjievski, N., Bodnar, C., Tariq, I., Scherer, P., Andres Terre, H., Shams, Z., Jamnik, M. and Liò, P., 2019. Variational Autoencoders for Cancer Data Integration: Design Principles and Computational Practice. Front Genet, v. 10
    Doi: 10.3389/fgene.2019.01205
  • 2017

  • Linker, S., Burton, J. and Jamnik, M., 2017. Tactical diagrammatic reasoning Electronic Proceedings in Theoretical Computer Science, EPTCS, v. 239
    Doi: http://doi.org/10.4204/EPTCS.239.3
  • Stapleton, G., Jamnik, M. and Shimojima, A., 2017. What Makes an Effective Representation of Information: A Formal Account of Observational Advantages Journal of Logic, Language and Information, v. 26
    Doi: 10.1007/s10849-017-9250-6
  • 2015

  • Urbas, M., Jamnik, M. and Stapleton, G., 2015. Speedith: A Reasoner for Spider Diagrams Journal of Logic, Language and Information, v. 24
    Doi: 10.1007/s10849-015-9229-0
  • 2014

  • Sarkar, A., Blackwell, AF., Jamnik, M. and Spott, M., 2014. Teach and try: A simple interaction technique for exploratory data modelling by end users Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC,
    Doi: http://doi.org/10.1109/VLHCC.2014.6883022
  • 2013

  • Stapleton, G., Jamnik, M. and Urbas, M., 2013. Designing inference rules for spider diagrams Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC,
    Doi: http://doi.org/10.1109/VLHCC.2013.6645238
  • 2008

  • Jamnik, M., 2008. How can machines reason? AISB 2008 Convention: Communication, Interaction and Social Intelligence - Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning,
  • Benzmüller, C., Sorge, V., Jamnik, M. and Kerber, M., 2008. Combined reasoning by automated cooperation Journal of Applied Logic, v. 6
    Doi: http://doi.org/10.1016/j.jal.2007.06.003
  • 2006

  • Dennis, LA., Jamnik, M. and Pollet, M., 2006. On the comparison of proof planning systems: γcLAM Ωmega and IsaPlanner Electronic Notes in Theoretical Computer Science, v. 151
    Doi: http://doi.org/10.1016/j.entcs.2005.11.025
  • 2005

  • Jamnik, M. and Bundy, A., 2005. Psychological validity of schematic proofs LECT NOTES ARTIF INT, v. 2605
  • Bundy, A., Jamnik, M. and Fugard, A., 2005. What is a proof? PHILOS T ROY SOC A, v. 363
    Doi: http://doi.org/10.1098/rsta.2005.1651
  • 2003

  • Jamnik, M., Kerber, M., Pollet, M. and Benzmuller, C., 2003. Automatic learning of proof methods in proof planning LOGIC J IGPL, v. 11
    Doi: http://doi.org/10.1093/jigpal/11.6.647
  • Jamnik, M. and Janičić, P., 2003. Learning strategies for mechanised building of decision procedures Electronic Notes in Theoretical Computer Science, v. 86
    Doi: http://doi.org/10.1016/S1571-0661(04)80662-5
  • 1999

  • Jamnik, M., Bundy, A. and Green, I., 1999. On automating diagrammatic proofs of arithmetic arguments Journal of Logic, Language and Information, v. 8
    Doi: http://doi.org/10.1023/A:1008323427489
  • Benzmüller, C., Jamnik, M., Kerber, M. and Sorge, V., 1999. Agent based mathematical reasoning Electronic Notes in Theoretical Computer Science, v. 23
    Doi: http://doi.org/10.1016/S1571-0661(05)82522-8
  • Scherer, P., Andres-Terre, H., Lio, P. and Jamnik, M., Decoupling feature propagation from the design of graph auto-encoders
  • Oliver, I., Howse, J., Gem, S., Shams, Z. and Jamnik, M., Exploring and Conceptualising Attestation International Conference on Conceptual Structures ICCS2019,
  • Bundy, A. and Jamnik, M., A Common Type of Rigorous Proof that Resists Hilbert’s Programme Proof Technology in Mathematics Research and Teaching,
  • Wijaya, MA., Kazhdan, D., Dimanov, B. and Jamnik, M., Failing Conceptually: Concept-Based Explanations of Dataset Shift
  • Sato, Y., Stapleton, G., Jamnik, M. and Shams, Z., Human inference beyond syllogisms: an approach using external graphical representations Cognitive Processing,
  • Kazhdan, D., Dimanov, B., Terre, HA., Jamnik, M., Liò, P. and Weller, A., Is Disentanglement all you need? Comparing Concept-based & Disentanglement Approaches
  • Kazhdan, D., Dimanov, B., Jamnik, M. and Liò, P., MEME: Generating RNN Model Explanations via Model Extraction
  • Wang, D., Jamnik, M. and Lio, P., Unsupervised and interpretable scene discovery with Discrete-Attend-Infer-Repeat
  • Margeloiu, A., Simidjievski, N., Jamnik, M. and Weller, A., Improving Interpretability in Medical Imaging Diagnosis using Adversarial Training
  • Trębacz, M., Shams, Z., Jamnik, M., Scherer, P., Simidjievski, N., Terre, HA. and Liò, P., Using ontology embeddings for structural inductive bias in gene expression data analysis arxiv,
  • Kiat, NQW., Wang, D. and Jamnik, M., Pairwise Relations Discriminator for Unsupervised Raven's Progressive Matrices
  • Scherer, P., Trȩbacz, M., Simidjievski, N., Shams, Z., Terre, HA., Liò, P. and Jamnik, M., Incorporating network based protein complex discovery into automated model construction
  • Zhao, Y., Wang, D., Bates, D., Mullins, R., Jamnik, M. and Lio, P., Learned Low Precision Graph Neural Networks
  • Słowik, A., Mangla, C., Jamnik, M., Holden, SB. and Paulson, LC., Bayesian Optimisation with Gaussian Processes for Premise Selection
  • Books

    2016

  • Jamnik, M., Uesaka, Y. and Schwartz, SE., 2016. Preface
  • 2012

  • 2012. Diagrammatic Representation and Inference
    Doi: http://doi.org/10.1007/978-3-642-31223-6
  • 2012. Automated Reasoning
    Doi: http://doi.org/10.1007/978-3-642-31365-3
  • 2010

  • Jamnik, M., Goel, AK. and Narayanan, NH., 2010. Preface
  • Jamnik, M., Goel, A. and Narayanan, H., 2010. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
  • 2010. Diagrammatic Representation and Inference
    Doi: http://doi.org/10.1007/978-3-642-14600-8
  • 2010. Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings
  • Book chapters

    2002

  • Jamnik, M., Bundy, A. and Green, I., 2002. On Automating Diagrammatic Proofs of Arithmetic Arguments
    Doi: http://doi.org/10.1007/978-1-4471-0109-3_18
  • Jamnik, M., Logical reasoning with diagrams
  • Internet publications
  • Jamnik, M., Home Page
  • Słowik, A., Gupta, A., Hamilton, WL., Jamnik, M. and Holden, SB., Towards Graph Representation Learning in Emergent Communication
  • Słowik, A., Gupta, A., Hamilton, WL., Jamnik, M., Holden, SB. and Pal, C., Exploring Structural Inductive Biases in Emergent Communication
  • Zhao, Y., Wang, D., Gao, X., Mullins, R., Lio, P. and Jamnik, M., Probabilistic Dual Network Architecture Search on Graphs
  • Contact Details

    Room: 
    FC18
    Office phone: 
    (01223) 7-63587
    Email: 

    mateja.jamnik@cl.cam.ac.uk