Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Gordon D. Plotkin

Original record
Institution
The University of Edinburgh
Year
1972
Country
United Kingdom
MGP identifier
95717

Dissertation: Automatic Methods of Inductive Inference

Advisor 1

Students 18

NameInstitutionYearStudents
Danel AhmanThe University of Edinburgh20170
Pavel B. BrazdilThe University of Edinburgh19814
Luca Andrea CardelliThe University of Edinburgh19822
Ewen DenneyThe University of Edinburgh19991
Marcelo FioreThe University of Edinburgh19946
Philippa GardnerThe University of Edinburgh19928
Martin HofmannThe University of Edinburgh19957
Ohad KammarThe University of Edinburgh20140
Wei LiThe University of Edinburgh19831
John LongleyThe University of Edinburgh19952
Eugenio MoggiThe University of Edinburgh19881
MohammadReza MousaviTechnische Universiteit Eindhoven20057
Flemming NielsonThe University of Edinburgh19841
Matija PretnarThe University of Edinburgh20100
David PymThe University of Edinburgh19901
Alex K. SimpsonThe University of Edinburgh19946
William WaitesThe University of Edinburgh20200
Glynn WinskelThe University of Edinburgh198022
Genealogy