Thierry Coquand
Thierry Coquand
.jpg)
Thierry Coquand (à Frauenwörth, en juin 2006)
| Naissance | Isère |
|---|---|
| Nationalité |
française |
| Formation |
École normale supérieure |
| Activités |
Mathématicien, informaticien, ingénieur |
| A travaillé pour |
Université de Göteborg Université de technologie Chalmers Inria |
|---|---|
| Chaire |
Professeur |
| Membre de |
Academia Europaea () |
| Directeur de thèse |
Gérard Huet |
| Distinction |
Prix ACM Software System () |
Rocq |
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
- 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
- Rocq (logiciel)
Notes et références
- ↑ (en) « Thierry Coquand », sur awards.acm.org (consulté le )
- ↑ (en) « Thierry Coquand », sur le site du Mathematics Genealogy Project
Liens externes
- Ressources relatives à la recherche :
Portail de l'informatique théorique 
Portail de la logique