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)

Biographie
Naissance
Voir et modifier les données sur Wikidata (56 ans)
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Domaine
Membre de
Directeur de thèse
Distinction

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]

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

Lien externe[modifier | modifier le code]