Past Member

Thierry Coquand

Funding provided by the Ellentuck Fund and the Charles Simonyi Endowment

Affiliation

Mathematics

Field of Study

Type Theory and Constructive Mathematics

Home Institution

University of Gothenburg
From
-

Thierry Coquand’s research is about the foundation and formalization of mathematics, mainly using ideas from type theory. During his stay, he would like to understand if one can justify constructively ­Voevodsky’s axiom of univalence, and to explore the formalization of mathematics in the univalent foundation.

Dates at IAS

Member
School of Mathematics

Degrees

University of Paris VII
Ph.D.
1985