a person in the record
Gordon Plotkin
Also known as Gordon D. Plotkin (OpenAlex)
Scottish computer scientistborn 1946
Supervised 23 doctoral students at The University of Edinburgh and University of Edinburgh. College of Science and Engineering. School of Informatics.; doctorate at The University of Edinburgh in 1972 under Rod Burstall and Donald Michie; Wikidata lists 15 doctoral students. 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
Advisors2
- cited by a thesis recordstated by Wikidata
Rod Burstall“Automatic methods of inductive inference”
1972 · The University of Edinburgh · doctoral - cited by a thesis record
Donald Michie“Automatic methods of inductive inference”
1972 · The University of Edinburgh · doctoral
Students23
- cited by a thesis record
William Waites“Modelling and measurement in synthetic biology”
2020 · The University of Edinburgh · doctoral - cited by a thesis record
Argyris Zardilis“Modelling language for biology with applications”
2019 · The University of Edinburgh · doctoral - cited by a thesis record2017 · The University of Edinburgh · doctoral
- cited by a thesis record
Cheng Feng“Process algebra for located Markovian agents and scalable analysis techniques for the modelling of Collective Adaptive Systems”
2017 · The University of Edinburgh · doctoral - cited by a thesis record
Ricardo Honorato-Zimmer“Thermodynamic approach to biomolecular interaction networks”
2017 · The University of Edinburgh · doctoral - cited by a thesis record
John Kanamori“Defining complex rule-based models in space and over time”
2015 · The University of Edinburgh · doctoral - cited by a thesis record
John Roger Wilson-Kanamori“Defining complex rule-based models in space and over time”
2015 · The University of Edinburgh · doctoral - cited by a thesis record2014 · The University of Edinburgh · doctoral
- cited by a thesis record
Michael Pedersen“Modular languages for systems and synthetic biology”
2010 · The University of Edinburgh · doctoral - cited by a thesis record2010 · The University of Edinburgh · doctoral
- cited by a thesis record2008 · doctoral
- cited by a thesis record
Miki Tanaka“Pseudo-distributive laws and a unified framework for variable binding”
2004 · The University of Edinburgh · doctoral - cited by a thesis record2000 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral
- cited by a thesis record1999 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral
- cited by a thesis record
Andrew G Barber“Linear Type Theories, Semantics and Action Calculi”
1997 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral - cited by a thesis recordstated by Wikidata
Martin Hofmann“Extensional concepts in intensional type theory”
1995 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral - cited by a thesis record
John R Longley“Realizability Toposes and Language Semantics”
1995 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral - cited by a thesis record
Marcelo P Fiore“Axiomatic Domain Theory in Categories of Partial Maps”
1994 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral - cited by a thesis record
Alex K. Simpson“Proof theory and semantics of intuitionistic modal logic”
1994 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral - cited by a thesis record1990 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral
- cited by a thesis record1988 · University of Edinburgh. College of Science and Engineering. School of Informatics. · doctoral
- cited by a thesis record
Wei Li“Operational approach to semantics and translation for programming languages”
1983 · The University of Edinburgh · doctoral - cited by a thesis record1980 · The University of Edinburgh · doctoral
Students on Wikidata15
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1943
- stated by Wikidataborn 1953
- stated by Wikidataborn 1954
- stated by Wikidataborn 1965
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- stated by Wikidata
- 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
cited by a thesis recordDonald Michiecited by a thesis recordstated 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 111 people: 31 cited by thesis records, 81 stated by Wikidata.
Theses1
- cited by a thesis record
Automatic methods of inductive inference
1972 · The University of Edinburgh · doctoral · in English · the thesis's own page › - stated by Wikidatadoctoral thesis, stated by Wikidata
Education and career2
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- undatedstudied
- undatedworked
Works1
1972 · held from 1 repository · a work missing?
- cited by ERA Edinburgh's record
Automatic methods of inductive inference
1972 · doctoral thesis · ERA Edinburgh
What their ORCID record lists
The works their own ORCID record lists, as they claim them: shown apart from the record's works, never checked or counted with them.
ORCID is asked for the list when this part is opened.