Martin Hyland | |
Birth Name: | John Martin Elliott Hyland |
Work Institution: | University of Cambridge |
Doctoral Advisor: | Robin Gandy |
Alma Mater: | University of Oxford (DPhil) |
Fields: | Mathematics Theoretical computer science |
Thesis Title: | Recursion Theory on the Countable Functionals |
Thesis Url: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.460247 |
Thesis Year: | 1975 |
(John) Martin Elliott Hyland is professor of mathematical logic at the University of Cambridge and a fellow of King's College, Cambridge. His interests include mathematical logic, category theory, and theoretical computer science.[1]
Hyland was educated at the University of Oxford where he was awarded a Doctor of Philosophy degree in 1975[2] for research supervised by Robin Gandy.
Martin Hyland is best known for his work on category theory applied to logic (proof theory, recursion theory), theoretical computer science (lambda-calculus and semantics) and higher-dimensional algebra. In particular he is known for work on the effective topos (within topos theory) and on game semantics. His former doctoral students include Eugenia Cheng[3] and Valeria de Paiva.