Thierry Coquand
mathématicien français, professeur d'informatique théorique
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. Il a eu pour directeur de thèse Gérard Huet.
Lire sur Wikipédia · Image Andrej Bauer, CC BY-SA 2.5 si
.jpg){kind=link}
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement