Thierry Coquand

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche
Thierry Coquand
Thierry Coquand.jpg
Thierry Coquand (à Frauenwörth, en juin 2006)
Biographie
Naissance
Voir et modifier les données sur Wikidata (57 ans)
IsèreVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Chaire
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]