Thierry Coquand
personne
mathématicien français, professeur d'informatique théorique
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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Thierry_Coquand
Lien Wikidata : https://www.wikidata.org/wiki/Q3524190
Propriétés
- date_naissance
- +1961-04-1
- genre_personne
- masculin
- lieu_naissance
- {"qid": "Q12559", "label": "Isère"}
- nationalite
- France
- occupation
- mathématicien ou mathématicienne
- p106_all
- mathématicien ou mathématicienne, ingénieur, informaticien ou informaticienne