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. 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 
 Coq (logiciel)

Notes et références

Lien externe 
 Page personnelle
 

Personnalité en informatique théorique
Logicien français
Professeur à l'université de Göteborg
Naissance en avril 1961
Naissance en Isère
Mathématicien français du XXe siècle
Mathématicien français du XXIe siècle
Membre de l'Academia Europaea