Thierry Coquand (French: [k?k?~]; born 18 April 1961 in Jallieu, Isère, France) is a professor in computer science at the University of Gothenburg, Sweden.
He is known for his work in constructive mathematics, especially the calculus of constructions.