Martin Hyland
For the Irish gangster, see Martin "Marlo" Hyland.
Martin Hyland | |
---|---|
![]() | |
Residence | Cambridge, England |
Institutions | King's College, Cambridge |
Thesis | Recursion Theory on the Countable Functionals (1975) |
Doctoral advisor | Robin Gandy |
Doctoral students |
Sean Carmody Eugenia Cheng Valeria Correa Vaz de Paiva Murdoch Gabbay Richard Garner Aaron Lauda Thomas Leinster Wesley Phoa Andrew Pitts Edmund Robinson Craig Snydal Audrey Tan Paul Taylor Joe Templeton Dominic Verity |
John Martin Elliott Hyland is professor of mathematics at King's College in the University of Cambridge, England. His interests include mathematical logic, category theory, and theoretical computer science.[1]
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.
Notes
- ↑ "Fellows of King's College". Cambridge University Reporter. 2008-10-02. Retrieved 2009-07-15.
External links
This article is issued from Wikipedia - version of the 4/1/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.