Thierry Coquand

From Wikipedia, the free encyclopedia

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.

External links

Persondata
Name	Coquand, Thierry
Alternative names
Short description	French mathematician and computer scientist
Date of birth	18 April 1961
Place of birth
Date of death
Place of death

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.