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
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
