Martin Hyland

Martin Hyland bei der Ehrendoktorwürde an der University of Bath am 30. Juni 2015 Schlüsseldaten

Geburtsname	John Martin Elliott Hyland
Bereiche	Mathematik , Theoretische Informatik
Institutionen	Universität von Cambridge
Diplom	DPhil
Ausbildung	Universität Oxford
Supervisor	Robin Gandy
Doktoranden	Eugenia Cheng , Valeria de Paiva
Seite? ˅	www.dpmms.cam.ac.uk/~martin/

(John) Martin Elliott Hyland ist Professor für Mathematische Logik an der Universität Cambridge und Fellow des King's College Cambridge . Seine Forschungsthemen umfassen mathematische Logik, Kategorietheorie und theoretische Informatik .

Studien

Hyland wurde an der Universität von Oxford ausgebildet, wo er 1975 in Philosophie für eine von Robin Gandy betreute Arbeit mit dem Titel Rekursionstheorie über die zählbaren Funktionen promovierte .

Forschung und Karriere

Martin Hyland wird für seine Arbeit an der Kategorientheorie am besten bekannte Logik angewandt ( Rekursion Beweistheorie ), die theoretische Informatik ( Lambda-Kalkül und Semantik von Programmiersprachen ) und höherdimensionalen Algebra . Insbesondere ist er bekannt für seine Arbeiten zu effektiven Topos (innerhalb der Topos-Theorie ) und zur Spielsemantik. Zu seinen ehemaligen Doktoranden zählen Eugenia Cheng , Tom Leinster und Valeria de Paiva .

Preis

Martin Hyland ist neben Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Chih-Hao Luke Ong und Hanno Nickau einer der Empfänger des Alonzo Church Award 2017 für die Bereitstellung abstrakter Semantik für die Berechnung höherer Ordnung durch die Einführung des Spiels Modelle, wodurch das Gebiet der Semantik von Programmiersprachen und die Auswirkungen dieser Modelle auf Anwendungen grundlegend revolutioniert werden. “

Martin Hyland wurde 2015 mit der Ehrendoktorwürde an der University of Bath ausgezeichnet.

Veröffentlichungen (Auswahl)

[2021] Martin Hyland und Christine Tasson , " Die linear-nicht-lineare Substitution 2-Monade ", Electronic Proceedings in Theoretical Computer Science , vol. 333,2021, p. 215–229 ( ISSN 2075-2180 , DOI 10.4204 / EPTCS.333.15 )
[2006] Martin Hyland , Gordon Plotkin und John Power , " Kombinieren von Effekten: Summe und Tensor ", Theoretical Computer Science , vol. 357, n Knochen 1-3,2006, p. 70–99 ( DOI 10.1016 / j.tcs.2006.03.013 )
[2000] JME Hyland und C.-HL Ong , " Über die vollständige Abstraktion für PCF: I, II und III ", Information and Computation , vol. 163, n o 22000, p. 285–408 ( DOI 10.1006 / inco.2000.2917 ).
[1993] Nick Benton, Gavin Bierman, Valeria de Paiva und Martin Hyland, „ Ein Begriff Kalkül für intuitionistische lineare Logik “, TLCA 1993: Typisierte Lambda-Kalküle und -Anwendungen, Internationale Konferenz über typisierte Lambda-Kalküle und -Anwendungen , Lecture Notes in Computer Science, n o 664,1993, p. 75-90.
[1982] JME Hyland , " The Effective Topos ", Studien in Logik und den Grundlagen der Mathematik , vol. 110,1982, p. 165–216 ( DOI 10.1016 / S0049-237X (09) 70129-6 ).
[1975] JME Hyland , " Eine Übersicht über einige nützliche partielle Ordnungsbeziehungen zu Begriffen des Lambda-Kalküls ", Lambda-Kalkül und Informatik-Theorie, Proceedings of the Symposium Held in Rome, Italien, 25.-27. März 1975 , Lecture Notes in Computer Science, vol. 37,1975, p. 83–95 ( ISBN 3-540-07416-3 , DOI 10.1007 / BFb0029520 )

Anmerkungen und Referenzen

(fr) Dieser Artikel stammt teilweise oder vollständig aus dem englischen Wikipedia- Artikel " Martin Hyland " ( siehe Autorenliste ) .

" Fellows of King's College " , Reporter der Universität Cambridge,2. Oktober 2008(abgerufen am 15. Juli 2009 ) .
John Martin Elliot Hyland , Rekursionstheorie über die zählbaren Funktionen (Doktorarbeit), Universität Oxford,1975( OCLC 67751639 , online lesen ).
(in) " Martin Hyland " auf der Website des Mathematics Genealogy Project .
Martin Hyland bei Google Scholar .
Eugenia Cheng, Martin Hyland und John Power, " Pseudo-Distributive Laws ", Electronic Notes in Theoretical Computer Science , vol. 83,2003, p. 227–245 ( DOI 10.1016 / S1571-0661 (03) 50012-3 )
Eugenia Cheng , Theorie der höherdimensionalen Kategorie: Opetopische Grundlagen (Doktorarbeit), Universität Cambridge, 2002( OCLC 879393286 , online lesen [ Archiv von31. Oktober 2008] ).
"Oration" von Guy McCusker, Juni 2015, an der University of Bath.