Philippa Gardner
Original record- Institution
- The University of Edinburgh
- Year
- 1992
- Country
- United Kingdom
- MGP identifier
- 128595
Dissertation: Representing Logics in Type Theory
Advisor 1
- Gordon D. PlotkinThe University of Edinburgh · 1972
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Thomas Dinsdale-Young | Imperial College London | 2011 | 0 |
| Masahito Hasegawa | The University of Edinburgh | 1997 | 13 |
| Sergio Maffeis | Imperial College London | 2005 | 0 |
| Azalea Raad | Imperial College London | 2017 | 0 |
| Mohammad Raza | Imperial College London | 2010 | 0 |
| Gareth David Smith | Imperial College London | 2010 | 0 |
| Lucian Wischik | University of Cambridge | 2002 | 0 |
| Uri D. Zafaty | Imperial College London | 2007 | 0 |