Thierry Coquand

Un article de Wikipédia, l'encyclopédie libre.
Thierry Coquand
Thierry Coquand (à Frauenwörth, en juin 2006)
Biographie
Naissance
Voir et modifier les données sur Wikidata (62 ans)
IsèreVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Chaire
Membre de
Directeur de thèse
Distinction
Œuvres principales

Thierry Coquand (né le à Jallieu 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[1]. Il a eu pour directeur de thèse Gérard Huet[2].

Prix et distinctions[modifier | modifier le code]

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

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

  1. (en) « Thierry Coquand », sur awards.acm.org (consulté le )
  2. (en) « Thierry Coquand », sur le site du Mathematics Genealogy Project

Lien externe[modifier | modifier le code]