a person in the record
Alan Mycroft
Professor at the Computer Laboratory, University of Cambridgeborn 1956
Supervised 4 doctoral students at University of Cambridge; Wikidata names Robin Milner and Rod Burstall as doctoral advisors, lists 6 doctoral students, and lists 1 person they taught. 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
Students4
- cited by a thesis record
Joseph Isaacs“Furthering Datalog in the pursuit of program analysis”
2022 · University of Cambridge · doctoral - cited by a thesis record
Andrej Ivaskovic“Programming and static analysis with graded monads”
2022 · University of Cambridge · doctoral - cited by a thesis record2021 · University of Cambridge · doctoral
- cited by a thesis record
Dylan McDermott“Reasoning about effectful programs and evaluation order”
2019 · University of Cambridge · doctoral
Advisors on Wikidata2
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
Students on Wikidata6
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
Taught1
Wikidata's "student of" and "student" statements: a line of training beside the lineage, never a thesis supervision and never counted with one.
- a teacher or mentor, stated by Wikidata: not a thesis supervisionborn 1981
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 WikidataRobin Milnerstated by WikidataRod Burstall
- 2 steps up
stated by WikidataK. Brian Haleystated by WikidataNorman Alfred Dudley
- 3 steps up
stated by WikidataElsie Anna Grace Knowlesstated by WikidataF. Benson
- 4 steps up
stated by WikidataMathilde Maria Johanna Themis Vaerting
Below them, within 3 steps, the record reaches 13 people: 4 cited by thesis records, 9 stated by Wikidata.
Theses
- stated by Wikidata
Abstract interpretation and optimising transformations for applicative programs
doctoral thesis, stated by Wikidata
Education and career3
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- from 1984worked
- undatedstudied
- undatedstudied