Martin Hyland

Martin Hyland
Born
John Martin Elliott Hyland
Alma materUniversity of Oxford (DPhil)
Scientific career
FieldsMathematics
Theoretical computer science
InstitutionsUniversity of Cambridge
ThesisRecursion Theory on the Countable Functionals (1975)
Doctoral advisorRobin Gandy
Doctoral students
Websitewww.dpmms.cam.ac.uk/~martin/

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.