a person in the record
Mateja Jamnik
Professor of Artificial Intelligence at the University of Cambridgeborn 1973
Supervised 13 doctoral students at University of Cambridge and University of Edinburgh. College of Science and Engineering. School of Informatics. between 2005 and 2025; doctorate at University of Edinburgh. College of Science and Engineering. School of Informatics. in 1999 under Alan Bundy and Ian Green. Linked to Wikidata, ORCID, and 6 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Theses1
- cited by a thesis record
Automating Diagrammatic Proofs of Arithmetic Arguments
1999 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral · in English · the thesis's own page ›
Advisors2
- cited by a thesis recordstated by Wikidata
Alan Bundy“Automating Diagrammatic Proofs of Arithmetic Arguments”
1999 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral - cited by a thesis record
Ian Green“Automating Diagrammatic Proofs of Arithmetic Arguments”
1999 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral
Students13
- cited by a thesis record
Mateo Espinosa Zarlenga“Help Wanted: Robust Concept Interventions for Interpretable Deep Neural Networks”
2025 · University of Cambridge · doctoral - cited by a thesis record
Dimitrios Deslis“Lakatos-style proving activity in primary school: A mixed-methods study to explore and support teachers’ mathematical knowledge and views”
2024 · University of Cambridge · doctoral - cited by a thesis record
Qiaochu Jiang“Language models for verifiable mathematical automation: Interaction, integration, and autoformalization”
2024 · University of Cambridge · doctoral - cited by a thesis record
Andrei Margeloiu“Tabular Machine Learning on Small-Size and High-Dimensional Data”
2024 · University of Cambridge · doctoral - cited by a thesis record
Mei Yang“Chinese Teachers’ Noticing in the Context of Lakatos-Style Proving Activity: A mixed-methods study to investigate its patterns and underlying mechanisms”
2024 · University of Cambridge · doctoral - cited by a thesis record
Dmitry Kazhdan“Enhancing Interpretability: The Role of Concept-based Explanations Across Data Types”
2023 · University of Cambridge · doctoral - cited by a thesis record
Paul Scherer“Distributional and relational inductive biases for graph representation learning in biomedicine”
2023 · University of Cambridge · doctoral - cited by a thesis record
Agnieszka Słowik“Out-of-distribution generalisation in machine learning”
2022 · University of Cambridge · doctoral - cited by a thesis record
Edward Ayers“A Tool for Producing Verified, Explainable Proofs”
2021 · University of Cambridge · doctoral - cited by a thesis record
Aaron Stockdill“Automating representation change across domains for reasoning”
2021 · University of Cambridge · doctoral - cited by a thesis record
Botty Dimanov“Interpretable Deep Learning: Beyond Feature-Importance with Concept-based Explanations”
2020 · University of Cambridge · doctoral - cited by a thesis record2020 · University of Cambridge · doctoral
- cited by a thesis record
Daniel Winterstein“Using Diagrammatic Reasoning for Theorem Proving in a Continuous Domain”
2005 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral
The line above and below4 steps
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
cited by a thesis recordstated by WikidataAlan Bundycited by a thesis recordIan Green
- 2 steps up
stated by WikidataReuben Goodstein
- 3 steps up
stated by WikidataLudwig Wittgenstein
- 4 steps up
stated by WikidataBertrand Russellstated by WikidataFrank P. Ramseystated by WikidataG. E. Moore
Below them, within 3 steps, the record reaches 13 people: 13 cited by thesis records.
Education and career2
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- from 2003worked
- undatedstudied
Works1
1999 · held from 1 repository · a work missing?
- cited by ERA Edinburgh's record
Automating Diagrammatic Proofs of Arithmetic Arguments
1999 · doctoral thesis · ERA Edinburgh
What their ORCID record lists
The works their own ORCID record lists, as they claim them: shown apart from the record's works, never checked or counted with them.
ORCID is asked for the list when this part is opened.