a person in the record
Alan Bundy
British artificial intelligence researcherborn 1947
Supervised 27 doctoral students (28 students at any level) at The University of Edinburgh, University of Edinburgh. College of Science and Engineering. School of Informatics., and The University of Edinburgh: College of Science and Engineering: The School of Informatics; Wikidata names Reuben Goodstein as doctoral advisor and lists 21 doctoral students. Linked to Wikidata, ORCID, and 9 other registers.

How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students28
- cited by a thesis record
Elliot Ian Nkeng Fosong“Exploring frontiers of Ad Hoc teamwork research”
2025 · The University of Edinburgh · doctoral - cited by a thesis record2024 · The University of Edinburgh · doctoral
- cited by a thesis record
Ricky Zhu“Automatic construction and updating of knowledge base from log data”
2024 · The University of Edinburgh · doctoral - cited by a thesis record2023 · The University of Edinburgh · doctoral
- cited by a thesis record
Thomas Fletcher“Inferential automation of statistical methodologies in a query-answering system”
2023 · The University of Edinburgh · doctoral - cited by a thesis record2021 · The University of Edinburgh · doctoral
- cited by a thesis record2021 · The University of Edinburgh · doctoral
- cited by a thesis record
Andriana Evgenia Gkaniatsou“Low-level implementations of cryptographic protocols”
2018 · The University of Edinburgh · doctoral - cited by a thesis record
Kwabena Amoako Nuamah“Functional inferences over heterogeneous data”
2018 · The University of Edinburgh · doctoral - cited by a thesis record
Daniel Raggi“Searching the space of representations: reasoning through transformations for mathematical problem solving”
2016 · The University of Edinburgh · doctoral - cited by a thesis record
Yu Hui Lin“Rippling to automate Event-B invariant preservation proofs”
2015 · The University of Edinburgh · doctoral - cited by a thesis record2013 · The University of Edinburgh · doctoral
- cited by a thesis record
Sriipriya G“Implementation methodology for using concurrent and collaborative approaches for theorem provers, with case studies of SAT and LCF style provers”
2013 · The University of Edinburgh · doctoral - cited by a thesis record
Sriipriya Gopalan“Implementation methodology for using concurrent and collaborative approaches for theorem provers, with case studies of SAT and LCF style provers”
2013 · The University of Edinburgh · doctoral - cited by a thesis record
Omar Montano-Rivas“Scheme-based theorem discovery and concept invention”
2012 · The University of Edinburgh · doctoral - cited by a thesis record
Andrew Priddle-Higson“Computational models of ontology evolution in legal reasoning”
2010 · The University of Edinburgh · master's - cited by a thesis record2009 · The University of Edinburgh · doctoral
- cited by a thesis record
Alex Blewitt“HEDGEHOG: Automatic Verification of Design Patterns in Java”
2006 · University of Edinburgh. College of Science and Engineering. School of Informatics. · 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 - cited by a thesis record
Jeremy Gow“Dynamic creation of induction rules using proof planning”
2004 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral - cited by a thesis record
Gerhard Wickler“Using Expressive and Flexible Action Representations to Reason about Capabilties for Intelligent Agent Cooperation”
2000 · The University of Edinburgh: College of Science and Engineering: The School of Informatics · doctoral - cited by a thesis recordstated by Wikidata
Mateja Jamnik“Automating Diagrammatic Proofs of Arithmetic Arguments”
1999 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral - cited by a thesis record1998 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral
- cited by a thesis record
Francisco Javier Cantu-Ortiz“Proof Planning for Automating Hardware Verification”
1997 · The University of Edinburgh: College of Science and Engineering: The School of Informatics · doctoral - cited by a thesis record
Raul Monroy-Borja“Planning Proofs of Correctness of CCS Systems”
1997 · The University of Edinburgh: College of Science and Engineering: The School of Informatics · doctoral - cited by a thesis record
Frank van Harmelen“On the efficiency of meta-level inference”
1989 · The University of Edinburgh · doctoral - cited by a thesis record
Lincoln A. Wallen“Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics”
1987 · The University of Edinburgh · doctoral - cited by a thesis record
Christopher Stuart Mellish“Coping with Uncertainty: Noun Phrase Interpretation and Early Semantic Analysis”
1981 · The University of Edinburgh · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata21
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1960
- stated by Wikidataborn 1960
- stated by Wikidataborn 1964
- stated by Wikidataborn 1968
- stated by Wikidataborn 1970
- stated by Wikidataborn 1973
- stated by Wikidataborn 1977
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
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
stated by WikidataReuben Goodstein
- 2 steps up
stated by WikidataLudwig Wittgenstein
- 3 steps up
stated by WikidataBertrand Russellstated by WikidataFrank P. Ramseystated by WikidataG. E. Moore
- 4 steps up
stated by WikidataAlfred North Whiteheadstated by WikidataJames Ward
Below them, within 3 steps, the record reaches 103 people: 41 cited by thesis records, 63 stated by Wikidata.
Education and career3
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 1965 to 1968studied
- 1968 to 1971studied
- from 1971worked