Martin Hyland | |
---|---|
Born | John Martin Elliott Hyland |
Alma mater | University of Oxford (DPhil) |
Scientific career | |
Fields |
Mathematics Theoretical computer science [1] |
Institutions | University of Cambridge |
Thesis | Recursion Theory on the Countable Functionals (1975) |
Doctoral advisor | Robin Gandy [2] |
Doctoral students | |
Website |
www |
(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. [5]
Hyland was educated at the University of Oxford where he was awarded a Doctor of Philosophy degree in 1975 [6] for research supervised by Robin Gandy. [2]
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. [1] 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] [7] and Valeria de Paiva. [2] [4]