Thierry Coquand
Thierry Coquand.jpg)
Thierry Coquand (à Frauenwörth, en juin 2006)| Naissance |
18 avril 1961 Isère |
|---|---|
| Nationalité | française |
| Formation | École normale supérieure |
| Activités | Mathématicien, informaticien, ingénieur |
| A travaillé pour |
Université de Göteborg École polytechnique Chalmers Inria |
|---|---|
| Chaire | Professeur |
| Membre de | Academia Europaea (2011) |
| Directeur de thèse | Gérard Huet |
| Distinction | Prix ACM Software System (2013) |
| Coq |
Thierry Coquand (né le 18 avril 1961 à 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. Il a eu pour directeur de thèse Gérard Huet.
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 18 mars 2020)
- (en) « Thierry Coquand », sur le site du Mathematics Genealogy Project
Lien externe
- Page personnelle
- Ressources relatives à la recherche :
