Thierry Coquand
Thierry Coquand 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.
From *.wikipedia.org,
General Info
.
Male
Date of Birth
April 18th, 1961
Age
65
Birth Place
France, Auvergne-Rhône-Alpes
Star Sign
Aries
Social Networks , Links
Interest
Loading Chart...
Lists