Martin Hyland
D.Phil. University of Oxford 1975
Dissertation:
Recursion Theory on the Countable Functionals
Advisor: Robin Oliver Gandy
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Nathan Bowler | University of Cambridge | 2010 | |
| Sean Carmody | University of Cambridge | 1995 | |
| Eugenia Cheng | University of Cambridge | 2002 | 1 |
| Valeria de Paiva | University of Cambridge | 1988 | 4 |
| Murdoch Gabbay | University of Cambridge | 2001 | 1 |
| Richard Garner | University of Cambridge | 2006 | |
| Aaron Lauda | University of Cambridge | 2006 | |
| Thomas Leinster | University of Cambridge | 2000 | 1 |
| Ignacio Lopez Franco | University of Cambridge | 2009 | |
| Wesley Phoa | University of Cambridge | 1991 | |
| Andrew Pitts | University of Cambridge | 1982 | 20 |
| Edmund Robinson | University of Cambridge | 1984 | 3 |
| Craig Snydal | University of Cambridge | 2001 | |
| Audrey Tan | University of Cambridge | 1998 | |
| Paul Taylor | University of Cambridge | 1987 | |
| Joe Templeton | University of Cambridge | 2002 | |
| Dominic Verity | University of Cambridge | 1992 | 6 |
According to our current on-line database, Martin Hyland has 17 students and 50 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.