Thierry 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. Il a eu pour directeur de thèse Gérard Huet.
Q208893
Jallieu
LOC
Q12559
Isère
Concept
Q2878974
informatique théorique
Concept
Q371522
Université de Göteborg
ORG
Q34
Suède
LOC
Q1137814
mathématiques constructives
Concept
Q858320
calcul des constructions
Concept
Q974366
Gérard Huet
PER
Q3524190
Thierry Coquand
PER
place of birth
doctoral advisor
located in the administrative territorial entity
country