Thierry Coquand

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant l’informatique théorique image illustrant la logique
Cet article est une ébauche concernant l’informatique théorique et la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Thierry Coquand
Thierry Coquand.jpg

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

Biographie
Naissance
Voir et modifier les données sur Wikidata (55 ans)
Nationalité
Formation
Activités
Autres informations
A travaillé pour
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]

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

Lien externe[modifier | modifier le code]