Philippa Gardner

MathSciNet


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

Advisor: Gordon D. Plotkin

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Hasegawa, MasahitoThe University of Edinburgh199712
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 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.