Thierry Coquand

Thierry Coquand (né le 18 avril 1961 à 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].

Naissance

18 avril 1961 (65 ans)
Isère

Nationalité

française

Formation

École normale supérieure

Activités

Mathématicien, informaticien, ingénieur

Faits en bref Naissance, Nationalité ...

Thierry Coquand

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

Biographie

Naissance	18 avril 1961 (65 ans) Isère
Nationalité	française
Formation	École normale supérieure
Activités	Mathématicien, informaticien, ingénieur

Autres informations

A travaillé pour	Université de Göteborg Université de technologie Chalmers Inria
Chaire	Professeur
Membre de	Academia Europaea (2011)
Directeur de thèse	Gérard Huet
Distinction	Prix ACM Software System (2013)

Œuvres principales

Rocq

modifier - modifier le code - modifier Wikidata

Fermer