Martin Hyland

Dissertation: Recursion Theory on the Countable Functionals

Advisor 1

Name	Institution	Year	Students
Nathan Bowler	University of Cambridge	2010	0
Sean Michael Carmody	University of Cambridge	1995	0
Eugenia Loh-Gene Cheng	University of Cambridge	2002	2
Valeria Correa Vaz de Paiva	University of Cambridge	1988	1
Eric Faber	University of Cambridge	2020	0
Murdoch James Gabbay	University of Cambridge	2001	2
Richard Henry George Garner	University of Cambridge	2006	5
Enrico Ghiorzi	University of Cambridge	2019	0
Achilleas Kryftis	University of Cambridge	2015	0
Aaron D. Lauda	University of Cambridge	2006	8
Thomas Stephen Hampden Leinster	University of Cambridge	2000	3
Ignacio Lopez Franco	Not recorded	—	1
Sean Keith Moss	University of Cambridge	2018	0
Paige Randall North	University of Cambridge	2017	0
José Vitor Paiva Miranda de Siqueira	University of Cambridge	2022	0
Wesley Kym-Son Phoa	University of Cambridge	1991	0
Andrew Mawdesley Pitts	University of Cambridge	1982	12
Edmund Peter Robinson	University of Cambridge	1984	5
Craig Theodore Snydal	University of Cambridge	2001	0
Audrey Melanie Tan	University of Cambridge	1998	0
Paul Taylor	University of Cambridge	1987	0
Joe Templeton	University of Cambridge	2002	0
Christina Vasilakopoulou	University of Cambridge	2014	0
Dominic Robert Verity	University of Cambridge	1992	11
Tamara von Glehn	University of Cambridge	2015	0

Genealogy