a person in the record
Rod Burstall
Computer scientist1934 to 2025
Supervised 12 doctoral students at University of Edinburgh. College of Science and Engineering. School of Informatics. and The University of Edinburgh; Wikidata names K. Brian Haley and Norman Alfred Dudley as doctoral advisors and lists 12 doctoral students. Linked to Wikidata, Mathematics Genealogy Project, and 7 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students12
- cited by a thesis record
Conor McBride“Dependently Typed Functional Programs and their Proofs”
2000 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral - cited by a thesis record
Thomas Kleymann“Hoare Logic and VDM: Machine-Checked Soundness and Completeness Proofs”
1998 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral - cited by a thesis record1995 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral
- cited by a thesis record
Makoto Takeyama“Universal Structure and a Categorical Framework for Type Theory”
1995 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral - cited by a thesis record1995 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral
- cited by a thesis record
Healfdene Goguen“Typed operational semantics for type theory”
1994 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral - cited by a thesis record
Alan Mycroft“Abstract interpretation and optimising transformations for applicative programs ”
1982 · The University of Edinburgh · doctoral - cited by a thesis record
Donald Sannella“Semantics, implementation and pragmatics of Clear, a program specification language”
1982 · The University of Edinburgh · doctoral - cited by a thesis record1976 · The University of Edinburgh · doctoral
- cited by a thesis record
Rodney W. Topor“Interactive program verification using virtual programs”
1975 · The University of Edinburgh · doctoral - cited by a thesis recordstated by Wikidata1972 · The University of Edinburgh · doctoral
- cited by a thesis record
John Darlington“Semantic approach to automatic program improvement”
1972 · The University of Edinburgh · doctoral
Advisors on Wikidata2
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
Students on Wikidata12
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1947
- stated by Wikidataborn 1948
- stated by Wikidataborn 1956
- stated by Wikidataborn 1956
- stated by Wikidataborn 1962
- stated by Wikidataborn 1970
- stated by Wikidataborn 1973
- 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 WikidataK. Brian Haleystated by WikidataNorman Alfred Dudley
- 2 steps up
stated by WikidataElsie Anna Grace Knowlesstated by WikidataF. Benson
- 3 steps up
stated by WikidataMathilde Maria Johanna Themis Vaerting
- 4 steps up
stated by WikidataAdolf Dyroff
Below them, within 3 steps, the record reaches 248 people: 48 cited by thesis records, 202 stated by Wikidata.
Education and career3
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
- undatedstudied
- undatedworked