Thierry Coquand
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Coquand.
Thierry Coquand
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ea/Thierry_Coquand_%28cropped%29.jpg/260px-Thierry_Coquand_%28cropped%29.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 | |
---|---|
Chaire | Professeur ![]() |
Membre de | Academia Europaea () ![]() |
Directeur de thèse | |
Distinction |
Coq ![]() |
modifier - modifier le code - modifier Wikidata
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
- Coq (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
Lien externe
- Page personnelle
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
- ResearchGate
Portail de l'informatique théorique
Portail de la logique