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 Cambridge19885
Murdoch GabbayUniversity of Cambridge20012
Richard GarnerUniversity of Cambridge20062
Achilleas KryftisUniversity of Cambridge2015
Aaron LaudaUniversity of Cambridge20061
Thomas LeinsterUniversity of Cambridge20001
Ignacio Lopez FrancoUniversity of Cambridge20091
Wesley PhoaUniversity of Cambridge1991
Andrew PittsUniversity of Cambridge198224
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 Cambridge19928
Tamara von GlehnUniversity of Cambridge2015

According to our current on-line database, Martin Hyland has 20 students and 61 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.