Past Member

Thierry Coquand

Affiliation
Mathematics
Field of Study
Type Theory and Constructive Mathematics
From 9/2012 – 4/2013:

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