Martin 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.
Martin Hyland | |
|---|---|
| Born | John Martin Elliott Hyland |
| Alma mater | University of Oxford (DPhil) |
| Scientific career | |
| Fields | Mathematics Theoretical computer science |
| Institutions | University of Cambridge |
| Thesis | Recursion Theory on the Countable Functionals (1975) |
| Doctoral advisor | Robin Gandy |
| Doctoral students | |
| Website | www |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.