Pour les articles homonymes, voir Coquand.

Thierry Coquand

Thierry Coquand (à Frauenwörth, en juin 2006)

Biographie

Naissance	18 avril 1961 (63 ans) Isère
Nationalité	française
Formation	École normale supérieure
Activités	Mathématicien, informaticien, ingénieur

Autres informations

A travaillé pour	Université de Göteborg Université de technologie Chalmers Inria
Chaire	Professeur
Membre de	Academia Europaea (2011)
Directeur de thèse	Gérard Huet
Distinction	Prix ACM Software System (2013)

Œuvres principales

Coq

modifier - modifier le code - modifier Wikidata

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^[1]. Il a eu pour directeur de thèse Gérard Huet^[2].

• 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.

• Coq (logiciel)

• Page personnelle

• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Mathematics Genealogy Project
  • ResearchGate
• Notices d'autorité :

  • VIAF
  • ISNI
  • IdRef
  • LCCN
  • GND
  • Pays-Bas
  • Israël
  • WorldCat

• Portail de l'informatique théorique
• Portail de la logique