Thierry Coquand

Thierry Coquand
Thierry Coquand (à Frauenwörth, en juin 2006)
Biographie
Naissance
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

Voir aussi

Articles connexes

Notes et références

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

Liens externes

  • Portail de l'informatique théorique
  • Portail de la logique
Cet article est issu de Wikipédia. Sauf mention contraire, le texte est disponible sous licence Creative Commons Attribution-Share Alike 4.0. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.