Thierry Coquand
Encyclopedia
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
.
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
at the University of Gothenburg, Sweden. He is known for his work in constructive mathematics, especially the calculus of constructions
Calculus of constructions
The calculus of constructions is a formal language in which both computer programs and mathematical proofs can be expressed. This language forms the basis of theory behind the Coq proof assistant, which implements the derivative calculus of inductive constructions.-General traits:The CoC is a...
. He received his Ph.D. under the supervision of Gérard Huet
Gérard Huet
Gérard Pierre Huet is a French computer scientist.- Biography :Gérard Huet graduated from the Université Denis Diderot , Case Western Reserve University, and the Université de Paris....
.