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 générales
Naissance
Voir et modifier les données sur Wikidata (54 ans)
Nationalité
Formation
Activités
Domaine
Directeur de thèse

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]