Thierry Coquand
Apparence
Thierry Coquand
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Chaire | |
Membre de | |
Directeur de thèse | |
Distinction |
Thierry Coquand (né le à Jallieu en Isère) est un mathématicien français, professeur d'informatique théorique à l'Université de Göteborg en Suède. Il est connu pour son travail sur les mathématiques constructives, en particulier le calcul des constructions[1]. Il a eu pour directeur de thèse Gérard Huet[2].
Prix et distinctions
[modifier | modifier le code]- prix ACM SIGPLAN Programming Languages Software, pour le projet Coq, Association for Computing Machinery, 2013.
- prix ACM Software System, pour le projet Coq, Association for Computing Machinery, 2013.
Voir aussi
[modifier | modifier le code]Articles connexes
[modifier | modifier le code]Notes et références
[modifier | modifier le code]- (en) « Thierry Coquand », sur awards.acm.org (consulté le )
- (en) « Thierry Coquand », sur le site du Mathematics Genealogy Project
Lien externe
[modifier | modifier le code]- Page personnelle
- Ressources relatives à la recherche :