Academic
Thierry Coquand
French computer scientist and mathematician
- Life
- 1961 – present
- Born
- April 18, 1961
- Nationality
- France
Thierry Coquand is a French computer scientist and mathematician who is since 1996 a professor of computer science at the University of Gothenburg, having formerly worked at INRIA. He is known for his work in constructive mathematics, especially the calculus of constructions.
