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
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 Eindhoven20055
Pretnar, MatijaUniversity of Edinburgh2010
Simpson, AlexUniversity of Edinburgh19944
Waites, WilliamUniversity of Edinburgh2020
Winskel, GlynnUniversity of Edinburgh198014

According to our current on-line database, Gordon Plotkin has 14 students and 77 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.