Thierry Coquand
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].
Thierry Coquand
.jpg.webp)
Thierry Coquand (à Frauenwörth, en juin 2006)
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Chaire | |
| Membre de | |
| Directeur de thèse | |
| Distinction |
Prix et distinctions
- 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
Articles connexes
Notes et références
- (en) « Thierry Coquand », sur awards.acm.org (consulté le )
- (en) « Thierry Coquand », sur le site du Mathematics Genealogy Project
Lien externe
- Page personnelle
- Ressources relatives Ă la recherche :
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.