a person in the record
Lawrence Paulson
American computer scientistborn 1955
Supervised 2 doctoral students at University of Cambridge; Wikidata names John L. Hennessy as doctoral advisor and lists 3 doctoral students. Linked to Wikidata, ORCID, and 8 other registers.

How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Students2
- cited by a thesis record
Kawin Worrasangasilpa“Formally verifying the security properties of a proof-of-stake blockchain protocol”
2021 · University of Cambridge · doctoral - cited by a thesis record
Wenda Li“Towards justifying computer algebra algorithms in Isabelle/HOL”
2019 · University of Cambridge · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata3
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1972
- 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 WikidataJohn L. Hennessy
- 2 steps up
stated by WikidataRichard Kieburtz
- 3 steps up
stated by WikidataAkira Ishimaru
- 4 steps up
stated by WikidataGedaliahu Held
Below them, within 3 steps, the record reaches 7 people: 3 cited by thesis records, 4 stated by Wikidata.
Education and career4
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- from 1983worked
- undated
- undatedstudied
- undated