Thierry Coquand, Schlumberger Chair for Mathematical Sciences - IHES
portrait Thierry Coquand

Thierry Coquand, mathematician

The Schlumberger Chair for Mathematical Sciences

Thierry Coquand is a professor in computer science at the University of Gothenburg, Sweden.

After studying at the École normale supérieure de Paris, Thierry Coquand obtained his doctorate under the supervision of Gérard Huet.

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. Together with S. Awodey (CMU) and V. Voevodksy (IAS) he organised a special year at the IAS (2012/2013) on the Univalent Foundations of Mathematics.

Personal webpage

Kurt Gödel Centenary Research Prize (2008)
Programming Languages Software Award by ACM SIGPLAN (2013)

Videos

All professors