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.

[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.