Martin Hyland - Martin Hyland

Pro irského gangstera viz Martin "Marlo" Hyland.
Martin Hyland
Profesor Martin Hyland.jpg
narozený
John Martin Elliott Hyland
Alma materUniversity of Oxford (DPhil)
Vědecká kariéra
PoleMatematika
Teoretická informatika[1]
InstituceUniverzita v Cambridge
TezeTeorie rekurze na počitatelných funkcionálech  (1975)
Doktorský poradceRobin Gandy[2]
Doktorandi
webová stránkawww.dpmms.vačka.ac.Spojené království/ ~ martin/

(John) Martin Elliott Hyland je profesor z matematická logika na Univerzita v Cambridge a a chlapík z King's College v Cambridge. Mezi jeho zájmy patří matematická logika, teorie kategorií, a teoretická informatika.[5]

Vzdělávání

Hyland byl vzděláván u University of Oxford kde mu byla udělena a doktor filozofie stupně v roce 1975[6] pro výzkum pod dohledem Robin Gandy.[2]

Výzkum a kariéra

Martin Hyland je nejlépe známý svou prací na teorii kategorií aplikované na logiku (teorie důkazů, teorie rekurze ), teoretická informatika (lambda-kalkul a sémantika ) a výšková algebra.[1] Známý je zejména prací na efektivní topos (v rámci teorie topos ) a dále herní sémantika. Mezi jeho bývalé doktorandy patří Eugenia Cheng[3][7] a Valeria de Paiva.[2][4]

Reference

  1. ^ A b Martin Hyland publikace indexované podle Google Scholar Upravte to na Wikidata
  2. ^ A b C Martin Hyland na Matematický genealogický projekt
  3. ^ A b Cheng, Eugenia (2002). Teorie vyšších dimenzionálních kategorií: opetopické základy (PDF). cheng.staff.shef.ac.uk (Disertační práce). Univerzita v Cambridge. OCLC  879393286. EThOS  uk.bl.ethos.597569. Archivovány od originál (PDF) dne 2008-10-31.
  4. ^ A b Paiva, Valeria Correa Vaz de (1988). Dialektické kategorie (Disertační práce). Univerzita v Cambridge. EThOS  uk.bl.ethos.315050.
  5. ^ „Fellows of King's College“. Cambridge University Reporter. 2008-10-02. Citováno 2009-07-15.
  6. ^ Hyland, John Martin Elliot (1975). Teorie rekurze na počitatelných funkcionálech. bodleian.ox.ac.uk (Disertační práce). University of Oxford. OCLC  67751639. EThOS  uk.bl.ethos.460247.
  7. ^ Cheng, Eugenia; Hyland, Martin; Power, John (2003). „Pseudo-distribuční zákony“. Elektronické poznámky v teoretické informatice. 83: 227–245. doi:10.1016 / S1571-0661 (03) 50012-3. ISSN  1571-0661.