Martina Hylanda

Dla irlandzkiego gangstera, patrz Martin „Marlo” Hyland .

Martina Hylanda
Urodzić się	Johna Martina Elliotta Hylanda
Alma Mater	Uniwersytet Oksfordzki (DPhil)
Kariera naukowa
Pola	Matematyka Informatyka teoretyczna
Instytucje	Uniwersytet Cambridge
Praca dyplomowa	Teoria rekurencji na policzalnych funkcjonałach (1975)
Doradca doktorski	Robina Gandy'ego
Doktoranci	Eugenia Cheng Valeria de Paiva
Strona internetowa	www .dpms .cam .ac .uk /~martin /

(John) Martin Elliott Hyland jest profesorem logiki matematycznej na Uniwersytecie w Cambridge i członkiem King's College w Cambridge . Jego zainteresowania obejmują logikę matematyczną, teorię kategorii i informatykę teoretyczną .

Edukacja

Hyland kształcił się na Uniwersytecie Oksfordzkim , gdzie w 1975 roku uzyskał stopień doktora filozofii za badania nadzorowane przez Robina Gandy'ego .

Badania i kariera

Martin Hyland jest najbardziej znany ze swojej pracy nad teorią kategorii stosowaną do logiki ( teoria dowodu , teoria rekurencji ), informatyki teoretycznej ( rachunek lambda i semantyka ) oraz algebry wyższych wymiarów . W szczególności znany jest z prac nad toposem efektywnym (w ramach teorii toposu ) oraz nad semantyką gier . Wśród jego byłych doktorantów są Eugenia Cheng i Valeria de Paiva .