Thierry Coquand

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Trends in Constructive Mathematics (Frauenwörth, June 2006)

Thierry Coquand (born 18 April 1961, 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. He received his Ph.D. under the supervision of Gérard Huet.

See also[edit]

External links[edit]