Philippa Gardner


Ph.D. The University of Edinburgh 1992 UnitedKingdom
Dissertation: Representing Logics in Type Theory

Advisor: Gordon D. Plotkin

Click here to see the students ordered by family name.

Hasegawa, MasahitoThe University of Edinburgh19978
Wischik, LucianUniversity of Cambridge2002
Maffeis, SergioImperial College London2005
Zafaty, UriImperial College London2007
Raza, MohammadImperial College London2010
Smith, Gareth DavidImperial College London2010
Dinsdale-Young, ThomasImperial College London2011
Raad, AzaleaImperial College London2017

According to our current on-line database, Philippa Gardner has 8 students and 16 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 128595 for the advisor ID.