Martin Hyland
mathématicien britannique / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Martin Hyland?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
(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].
Faits en bref Nom de naissance, Domaines ...
Martin Hyland
Martin Hyland, lors de la cérémonie de remise d'un doctorat honoris causa à l'université de Bath, le 30 juin 2015
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/ |
Fermer