Martin Hyland

Données clés
Nom de naissance	John Martin Elliott Hyland
Domaines	Mathématiques, Informatique théorique
Institutions	University of Cambridge
Diplôme	DPhil
Formation	Université d'Oxford
Directeur de thèse	Robin Gandy
Étudiants en thèse	Eugenia Cheng, Valeria de Paiva
Site	www.dpmms.cam.ac.uk/~martin/

(John) Martin Elliott Hyland est professeur de logique mathématique à l'université de Cambridge et fellow du King's College de Cambridge. Ses thèmes de recherche incluent la logique mathématique, la théorie des catégories et l'informatique théorique^[1].

Études

Hyland a fait ses études à l'université d'Oxford où il a obtenu un doctorat en philosophie en 1975^[2] pour une thèse intitulée Recursion Theory on the Countable Functionals supervisée par Robin Gandy^[3].

Recherche et carrière

Martin Hyland est surtout connu pour ses travaux sur la théorie des catégories appliquée à la logique (théorie de la démonstration récursivité), à l'informatique théorique (lambda-calcul et sémantique des langages de programmation) et à l'algèbre de dimension supérieure^[4]. En particulier, il est connu pour ses travaux sur les topos effectifs (au sein de la théorie des topos) et sur la sémantique des jeux . Parmi ses anciens doctorants il y a Eugenia Cheng^[5]^,^[6] , Tom Leinster et Valeria de Paiva .

Prix

Martin Hyland est l'un des récipiendaires, avec Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Chih-Hao Luke Ong et Hanno Nickau, du prix Alonzo Church 2017, « pour avoir fourni une sémantique abstraite pour le calcul d'ordre supérieur par l'introduction de modèles de jeux, révolutionnant ainsi fondamentalement le domaine de la sémantique des langages de programmation, et pour l'impact de ces modèles dans les applications ».

Martin Hyland a été fait docteur honoris causa à l'université de Bath en 2015^[7].

Publications (sélection)

[2021] Martin Hyland et Christine Tasson, « The linear-non-linear substitution 2-monad », 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 et John Power, « Combining effects: Sum and tensor », Theoretical Computer Science, vol. 357, n^os 1-3,‎ 2006, p. 70–99 (DOI 10.1016/j.tcs.2006.03.013)
[2000] J.M.E. Hyland et C.-H.L. Ong, « On Full Abstraction for PCF: I, II, and III », Information and Computation, vol. 163, n^o 2,‎ 2000, p. 285–408 (DOI 10.1006/inco.2000.2917).
[1993] Nick Benton, Gavin Bierman, Valeria de Paiva et Martin Hyland, « A term calculus for Intuitionistic Linear Logic », TLCA 1993: Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, n^o 664,‎ 1993, p. 75-90.
[1982] J.M.E. Hyland, « The Effective Topos », Studies in Logic and the Foundations of Mathematics, vol. 110,‎ 1982, p. 165–216 (DOI 10.1016/S0049-237X(09)70129-6).
[1975] J. M. E. Hyland, « A survey of some useful partial order relations on terms of the lambda calculus », Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, Lecture Notes in Computer Science, vol. 37,‎ 1975, p. 83–95 (ISBN 3-540-07416-3, DOI 10.1007/BFb0029520)

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Martin Hyland » (voir la liste des auteurs).

↑ « Fellows of King's College », Cambridge University Reporter, 2 octobre 2008 (consulté le 15 juillet 2009).
↑ John Martin Elliot Hyland, Recursion Theory on the Countable Functionals (thèse PhD), University of Oxford, 1975 (OCLC 67751639, lire en ligne).
↑ (en) « Martin Hyland », sur le site du Mathematics Genealogy Project.
↑ Martin Hyland sur Google Scholar.
↑ Eugenia Cheng, Martin Hyland et 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, Higher-Dimensional Category Theory: Opetopic Foundations (thèse PhD), University of Cambridge, 2002 (OCLC 879393286, lire en ligne [archive du 31 octobre 2008]).
↑ « Oration » prononcée à l'université de Bath par Guy McCusker, juin 2015.

Liens externes

Notices d'autorité :
- VIAF
- ISNI
- IdRef
- CiNii
- Pays-Bas
- Pologne
- NUKAT
Ressources relatives à la recherche :
Publications de J. M. E. Hyland sur Zentralblatt MATH
Page personnelle à l'université de Cambridge

[1] « Fellows of King's College », Cambridge University Reporter, 2 octobre 2008 (consulté le 15 juillet 2009).

[PhD-460247-2] John Martin Elliot Hyland, Recursion Theory on the Countable Functionals (thèse PhD), University of Oxford, 1975 (OCLC 67751639, lire en ligne).

[mathgene-3] (en) « Martin Hyland », sur le site du Mathematics Genealogy Project.

[googlescholar-4] Martin Hyland sur Google Scholar.

[ChengHyland2003-5] Eugenia Cheng, Martin Hyland et 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)

[ePhD-6] Eugenia Cheng, Higher-Dimensional Category Theory: Opetopic Foundations (thèse PhD), University of Cambridge, 2002 (OCLC 879393286, lire en ligne [archive du 31 octobre 2008]).

[7] « Oration » prononcée à l'université de Bath par Guy McCusker, juin 2015.

[1]

[2]

[3]

[4]

[5]

[6]

[7]