Martin Hyland

From Wikipedia, the free encyclopedia

Martin Hyland
Residence	Cambridge, England
Thesis	Recursion Theory on the Countable Functionals (1975)
Doctoral advisor	Robin Gandy

John Martin Elliott Hyland is professor of mathematics at King's College in the University of Cambridge, England where he is currently head of the Department of Pure Mathematics and Mathematical Statistics.^[1] His interests include mathematical logic, category theory, and theoretical computer science.^[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. In particular he is known for work on the effective topos (within topos theory) and on game semantics.

External links

Notes

↑ "About DPMMS". Cambridge University. Retrieved 2011-10-17.
↑ "Fellows of King's College". Cambridge University Reporter. 2008-10-02. Retrieved 2009-07-15.

Persondata
Name	Hyland, Martin
Alternative names
Short description	British mathematician
Date of birth
Place of birth
Date of death
Place of death

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.