About Martin Hyland
Martin Hyland was a British mathematician, logician and computer scientist.
thesis_title = Recursion Theory on the Countable Functionals thesis_url = http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.460247 thesis_year = 1975 website =
(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.
Education Hyland was educated at the University of Oxford where he was awarded a Doctor of Philosophy degree in 1975 for research supervised by Robin Gandy. 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 and Valeria de Paiva.
Don’t just read it —
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download · yours to keep · every purchase keeps this site free
Important facts
Related people
Same field, nearest in time
Frequently asked questions
Who was Martin Hyland?
British mathematician
What was Martin Hyland's occupation?
Martin Hyland was a mathematician, logician and computer scientist.
What nationality was Martin Hyland?
Martin Hyland was British.
Sources & further reading
Cite this page
APA: Biography.guide. (2026). Martin Hyland. https://biography.guide/martin-hyland/
MLA: "Martin Hyland." Biography.guide, https://biography.guide/martin-hyland/.
Chicago: "Martin Hyland." Biography.guide. https://biography.guide/martin-hyland/.
Data last updated: 2026-09-20 · Spot an error? Report a correction.
Page generated 2026-09-27 05:31 UTC