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
- Rodney Martineau BurstallUniversity of Birmingham · 1966
Students 18
| Name | Institution | Year | Students |
|---|---|---|---|
| Danel Ahman | The University of Edinburgh | 2017 | 0 |
| Pavel B. Brazdil | The University of Edinburgh | 1981 | 4 |
| Luca Andrea Cardelli | The University of Edinburgh | 1982 | 2 |
| Ewen Denney | The University of Edinburgh | 1999 | 1 |
| Marcelo Fiore | The University of Edinburgh | 1994 | 6 |
| Philippa Gardner | The University of Edinburgh | 1992 | 8 |
| Martin Hofmann | The University of Edinburgh | 1995 | 7 |
| Ohad Kammar | The University of Edinburgh | 2014 | 0 |
| Wei Li | The University of Edinburgh | 1983 | 1 |
| John Longley | The University of Edinburgh | 1995 | 2 |
| Eugenio Moggi | The University of Edinburgh | 1988 | 1 |
| MohammadReza Mousavi | Technische Universiteit Eindhoven | 2005 | 7 |
| Flemming Nielson | The University of Edinburgh | 1984 | 1 |
| Matija Pretnar | The University of Edinburgh | 2010 | 0 |
| David Pym | The University of Edinburgh | 1990 | 1 |
| Alex K. Simpson | The University of Edinburgh | 1994 | 6 |
| William Waites | The University of Edinburgh | 2020 | 0 |
| Glynn Winskel | The University of Edinburgh | 1980 | 22 |