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 |
(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]
googlescholar
was invoked but never defined (see the help page).mathgene
was invoked but never defined (see the help page).