Martin Hyland

For the Irish gangster, see Martin "Marlo" Hyland.

(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]

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	Eugenia Cheng[3] Valeria de Paiva[4] Tom Leinster
Website	www.dpmms.cam.ac.uk/~martin/

Education

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]

Research and career

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]