a person in the record
Brian Campbell
Ph.D. University of Edinburgh 2008
Supervised 1 doctoral student at The University of Edinburgh; doctorate at The University of Edinburgh in 2008 under Don Sannella. Linked to Wikidata and Mathematics Genealogy Project.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Advisors1
- cited by a thesis recordstated by Wikidata
Don Sannella“Type-based amortized stack memory prediction”
2008 · The University of Edinburgh · doctoral
Students1
- cited by a thesis record
Orestis Melkonian“Verified compilation from BitML to Bitcoin: an Agda odyssey”
2024 · The University of Edinburgh · 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 WikidataDon Sannella
- 2 steps up
stated by WikidataRod Burstall
- 3 steps up
stated by WikidataK. Brian Haleystated by WikidataNorman Alfred Dudley
- 4 steps up
stated by WikidataElsie Anna Grace Knowlesstated by WikidataF. Benson
Below them, within 3 steps, the record reaches 1 person: 1 cited by thesis records.
Theses1
- cited by a thesis record
Type-based amortized stack memory prediction
2008 · The University of Edinburgh · doctoral · in English · the thesis's own page ›
Education and career1
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
Works1
2008 · held from 1 repository · a work missing?
- cited by ERA Edinburgh's record
Type-based amortized stack memory prediction
2008 · doctoral thesis · ERA Edinburgh