Martin Hyland
British mathematician / From Wikipedia, the free encyclopedia
For the Irish gangster, see Martin "Marlo" 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.[5]
Quick Facts Born, Alma mater ...
Martin Hyland | |
---|---|
Born | John Martin Elliott Hyland |
Alma mater | University of Oxford (DPhil) |
Scientific career | |
Fields | Mathematics Theoretical computer science[1] |
Institutions | University of Cambridge |
Thesis | Recursion Theory on the Countable Functionals (1975) |
Doctoral advisor | Robin Gandy[2] |
Doctoral students | |
Website | www |
Close