Martin Hyland
| Martin Hyland | ||||
|---|---|---|---|---|
| ||||
| Persoonlijke gegevens | ||||
| Land | .svg){kind=small} Verenigd Koninkrijk
| |||
| Nationaliteit | Brits | |||
| Werkzaamheden | ||||
| Vakgebied | wiskunde | |||
| Universiteit | Universiteit van Cambridge | |||
| Promotor | Robin Gandy | |||
| Soort hoogleraar | gewoon hoogleraar | |||
| Beroep | wiskundige | |||
| 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 | |||
| ||||
(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[bewerken | brontekst bewerken]
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[bewerken | brontekst bewerken]
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.