a person in the record
Philip Wadler
American computer scientistborn 1956
Supervised 7 doctoral students at The University of Edinburgh; Wikidata names Guy L. Steele Jr. and Nico Habermann as doctoral advisors and lists 5 doctoral students. Linked to Wikidata, ORCID, and 10 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students7
- cited by a thesis record2025 · The University of Edinburgh · doctoral
- cited by a thesis record
Orestis Melkonian“Verified compilation from BitML to Bitcoin: an Agda odyssey”
2024 · The University of Edinburgh · doctoral - cited by a thesis record
Simon John Fowler“Typed concurrent functional programming with channels, actors and sessions”
2019 · The University of Edinburgh · doctoral - cited by a thesis record
Jack Williams“Design and evaluation of contracts for gradual typing”
2019 · The University of Edinburgh · doctoral - cited by a thesis record2014 · The University of Edinburgh · doctoral
- cited by a thesis record2010 · The University of Edinburgh · doctoral
- cited by a thesis record
DeLesley Hutchins“Pure subtype systems: a type theory for extensible software”
2009 · The University of Edinburgh · doctoral
Advisors on Wikidata2
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
- stated by Wikidata
Students on Wikidata5
From Wikidata, shown separately from the thesis records.
- 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 WikidataGuy L. Steele Jr.stated by WikidataNico Habermann
- 2 steps up
stated by WikidataEdsger W. Dijkstrastated by WikidataGerald Jay Sussman
- 3 steps up
stated by WikidataAdriaan van Wijngaardenstated by WikidataSeymour Papert
- 4 steps up
stated by WikidataCornelis Benjamin Biezenostated by WikidataFrank Smithiesstated by WikidataJean Piaget
Below them, within 3 steps, the record reaches 13 people: 7 cited by thesis records, 6 stated by Wikidata.
Education and career5
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 1987 to 1996worked
- 1996 to 2000worked
- from 2003worked
- undatedstudied
- undatedstudied