Thierry Coquand (; born 18 April 1961 in Jallieu,

Isère Isère ( , ; frp, Isera; oc, Isèra, ) is a landlocked department in the southeastern French region of Auvergne-Rhône-Alpes. Named after the river Isère, it had a population of 1,271,166 in 2019.computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

at the

University of Gothenburg The University of Gothenburg ( sv, Göteborgs universitet) is a university in Sweden's second largest city, Gothenburg. Founded in 1891, the university is the third-oldest of the current Swedish universities and with 37,000 students and 6000 st ...

, known for his work in

constructive mathematics In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a specific example of a mathematical object in order to prove that an example exists. Contrastingly, in classical mathematics, one can prove t ...

, especially the

calculus of constructions In mathematical logic and computer science, the calculus of constructions (CoC) is a type theory created by Thierry Coquand. It can serve as both a typed programming language and as constructive foundation for mathematics. For this second reason ...

. He received his Ph.D. under the supervision of Gérard Huet.

External links

Academic homepage
* {{DEFAULTSORT:Coquand, Thierry French computer scientists École Normale Supérieure alumni 20th-century French mathematicians 21st-century French mathematicians University of Gothenburg faculty 1961 births Living people

See also

External links