Martin Hyland


D.Phil. University of Oxford 1975 UnitedKingdom
Dissertation: Recursion Theory on the Countable Functionals

Advisor: Robin Oliver Gandy

Click here to see the students listed in chronological order.

Nathan BowlerUniversity of Cambridge2010
Sean CarmodyUniversity of Cambridge1995
Eugenia ChengUniversity of Cambridge20021
Valeria de PaivaUniversity of Cambridge19884
Murdoch GabbayUniversity of Cambridge20012
Richard GarnerUniversity of Cambridge2006
Aaron LaudaUniversity of Cambridge2006
Thomas LeinsterUniversity of Cambridge20001
Ignacio Lopez FrancoUniversity of Cambridge2009
Wesley PhoaUniversity of Cambridge1991
Andrew PittsUniversity of Cambridge198223
Edmund RobinsonUniversity of Cambridge19844
Craig SnydalUniversity of Cambridge2001
Audrey TanUniversity of Cambridge1998
Paul TaylorUniversity of Cambridge1987
Joe TempletonUniversity of Cambridge2002
Christina VasilakopoulouUniversity of Cambridge2014
Dominic VerityUniversity of Cambridge19926

According to our current on-line database, Martin Hyland has 18 students and 55 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 46508 for the advisor ID.