Martin Hyland

För den irländska gangstern, se Martin "Marlo" Hyland .

Martin Hyland
Född	John Martin Elliott Hyland
Alma mater	University of Oxford (DPhil)
Vetenskaplig karriär
Fält	Matematik Teoretisk datavetenskap
institutioner	Universitetet i Cambridge
Avhandling	Rekursionsteori om de Countable Functionals (1975)
Doktorandrådgivare	Robin Gandy
Doktorander	Eugenia Cheng Valeria de Paiva
Hemsida	www .dpmms .cam .ac .uk /~martin /

(John) Martin Elliott Hyland är professor i matematisk logik vid University of Cambridge och stipendiat vid King's College, Cambridge . Hans intressen inkluderar matematisk logik, kategoriteori och teoretisk datavetenskap .

Utbildning

Hyland utbildades vid University of Oxford där han tilldelades en doktorsexamen i filosofi 1975 för forskning under ledning av Robin Gandy .

Forskning och karriär

Martin Hyland är mest känd för sitt arbete med kategoriteori tillämpad på logik ( bevisteori , rekursionsteori ), teoretisk datavetenskap ( lambda-kalkyl och semantik ) och högredimensionell algebra . I synnerhet är han känd för sitt arbete med effektiva topos (inom topos-teorin ) och spelsemantik . Hans tidigare doktorander inkluderar Eugenia Cheng och Valeria de Paiva .