Philippa Gardner

MathSciNet


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

Advisor: Gordon D. Plotkin

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Dinsdale-Young, ThomasImperial College London2011
Hasegawa, MasahitoUniversity of Edinburgh19978
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 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.