Thierry Coquand

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Thierry Coquand (à Frauenwörth, en juin 2006)

Thierry Coquand (né le 18 avril 1961 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[réf. souhaitée]. Il a eu pour directeur de thèse Gérard Huet[1].

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Lien externe[modifier | modifier le code]

Notes et références[modifier | modifier le code]