Universitaire
Thierry Coquand
French computer scientist and mathematician
- Vie
- 1961 – présent
- Né(e) le
- 18 avril 1961
- Nationalité
- 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.
