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 listed in chronological order.

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

According to our current on-line database, Philippa Gardner has 8 students and 20 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.