Thierry Coquand

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Thierry Coquand
Thierry Coquand.jpg

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

Informations
Naissance
Nationalité
Formation
Activités
Domaine

Thierry Coquand (né le 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]