Martin Hyland
| Use attributes for filter ! | |
| Alma mater | University of Oxford |
|---|---|
| Fields | Mathematics |
| Theoretical computer science | |
| Academic advisor | Robin Gandy |
| Notable students | Valeria de Paiva |
| Eugenia Cheng | |
| Institution | University of Cambridge |
| Date of Reg. | |
| Date of Upd. | |
| ID | 658113 |
About Martin Hyland
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.
