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

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
  • Mathematics
9/20124/2013
Degrees
University of Paris VII Ph.D., 1985