(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] Hyland was educated at the University of Oxford where he was awarded a Doctor of Philosophy degree in 1975[6] for research supervised by Robin Gandy.
His former doctoral students include Eugenia Cheng[3][7] and Valeria de Paiva.
This article about a United Kingdom mathematician is a stub.