Thierry Coquand
Sign in to saveFrench mathematician, logician and computer scientist
Person · Open Library
- Works
- 1
Top works
- Domain theoretic models of polymorphism
via Open Library + Wikidata
Listeners · Last.fm
- Listeners
- 1
- Total plays
- 4
<a href="https://www.last.fm/music/Thierry+Coquand">Read more on Last.fm</a>
Wikidata facts
- Instance of
- human
- Given name
- Thierry
- Gender
- male
- Citizenship
- France
- Place of birth
- Isère
- Occupation
- engineer
- Educated at
- École Normale Supérieure
- Languages spoken
- French
- Notable work
- Rocq prover
- Participant in
- International Mathematical Olympiad
- Academic degree
- Doctor of Philosophy
- Doctoral advisor
- Gérard Huet
- Field of work
- computer science
- Image
- Thierry Coquand (cropped).jpg
Show 6 more facts
- date of birth
- 1961-04-18
- member of
- Academia Europaea
- name in native language
- Thierry Coquand
- professorship
- professor
- Commons category
- Thierry Coquand (computer scientist)
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0