Thierry Coquand
De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir Coquand.
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].
Faits en bref Naissance, Nationalité ...
Thierry Coquand
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Chaire | |
Membre de | |
Directeur de thèse | |
Distinction |
Fermer