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..
Études Hyland a fait ses études à l'université d'Oxford où il a obtenu un doctorat en philosophie en 1975. pour une thèse intitulée Recursion Theory on the Countable Functionals supervisée par Robin Gandy..
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érieureMartin Hyland sur Google Scholar.. 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. , 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« Oration » prononcée à l'université de Bath par Guy McCusker, juin 2015..
Publications (sélection)
. . .
Notes et références
Liens externes
Publications de J. M. E. Hyland sur Zentralblatt MATH Page personnelle à l'université de Cambridge
Catégorie:Mathématicien britannique du XXe siècle Catégorie:Personnalité en théorie des catégories