John Darlington
Original record- Institution
- The University of Edinburgh
- Year
- 1975
- Country
- United Kingdom
- MGP identifier
- 86133
Dissertation: A semantic approach to automatic program improvement
Advisor 1
- Rodney Martineau BurstallUniversity of Birmingham · 1966
Students 11
| Name | Institution | Year | Students |
|---|---|---|---|
| Martin Bellamy | Imperial College London | 2014 | 0 |
| Wei Ngan Chin | Imperial College London | 1990 | 1 |
| Jeremy Hugh Cohen | Imperial College London | 2009 | 0 |
| M. D. Cripps | Imperial College London | 1990 | 0 |
| Anthony J. Field | Imperial College London | 1985 | 9 |
| Moustafa Mahmoud Hafez Ghanem | Imperial College London | 1999 | 0 |
| Yike Guo | Imperial College London | 1994 | 5 |
| David William McBride | Imperial College London | 2011 | 0 |
| Luke Chih-Hao Ong | University of London | 1988 | 25 |
| Michael J. Reeve | Imperial College London | 1987 | 0 |
| Matei-Eugen Vasile | Imperial College London | 2012 | 0 |