Gordon D. Plotkin

MathSciNet


Ph.D. University of Edinburgh 1972 UnitedKingdom
Dissertation: Automatic Methods of Inductive Inference

Advisor: Rodney Martineau Burstall

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Ahman, DanelUniversity of Edinburgh2017
Brazdil, PavelUniversity of Edinburgh19815
Cardelli, LucaUniversity of Edinburgh19822
Denney, EwenUniversity of Edinburgh19992
Fiore, MarceloUniversity of Edinburgh19945
Gardner, PhilippaUniversity of Edinburgh199216
Hofmann, MartinUniversity of Edinburgh19958
Li, WeiUniversity of Edinburgh19831
Longley, JohnUniversity of Edinburgh1995
Moggi, EugenioUniversity of Edinburgh19883
Mousavi, MohammadRezaTechnische Universiteit Eindhoven20056
Pretnar, MatijaUniversity of Edinburgh2010
Simpson, AlexUniversity of Edinburgh19945
Waites, WilliamUniversity of Edinburgh2020
Winskel, GlynnUniversity of Edinburgh198014

According to our current on-line database, Gordon Plotkin has 15 students and 80 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 95717 for the advisor ID.