Martin Hyland

Martin Hyland
Persoonlijke gegevens
Land	Verenigd Koninkrijk
Nationaliteit	Brits
Academische achtergrond
Alma mater	Universiteit van Oxford
Promotor	Robin Gandy
Wetenschappelijk werk
Vakgebied	wiskunde
Universiteit	Universiteit van Cambridge
Soort hoogleraar	gewoon hoogleraar
Promovendi	Eugenia Cheng, Valeria de Paiva, Tom Leinster, Eric Faber, Andrew Mawdesley Pitts, Richard Garner, Edmund Peter Robinson, Wesley Kym-Son Phoa, Dominic Robert Verity, Audrey Melanie Tan, Sean Michael Carmody, Paul Taylor, Aaron D. Lauda, Murdoch James Gabbay, Craig Theodore Snydal, Joe Templeton, Ignacio Lopez Franco, Nathan Bowler, Christina Vasilakopoulou, Tamara von Glehn, Achilleas Kryftis, Paige Randall North, Sean Keith Moss, Enrico Ghiorzi
Beroep	wiskundige

(John) Martin Elliott Hyland is hoogleraar wiskundige logica aan de Universiteit van Cambridge en een fellow van King's College. Zijn interesses omvatten wiskundige logica, categorietheorie en theoretische informatica.

Opleiding

Hyland volgde zijn opleiding aan de Universiteit van Oxford, waar hij in 1975 een doctoraat behaalde onder toezicht van Robin Gandy.

Onderzoek en carrière

Hyland is vooral bekend vanwege zijn werk op het gebied van categorietheorie toegepast op logica (bewijstheorie en recursietheorie), theoretische informatica (lambdacalculus en semantiek) en hogerdimensionale algebra. Hij staat vooral bekend om zijn werk op het gebied van de effectieve topos (binnen de topostheorie). Zijn voormalige doctoraatsstudenten zijn onder meer Eugenia Cheng en Valeria de Paiva.