Past Member
Catherine Lelay
Funding provided by the National Science Foundation
Affiliation
Mathematics
Field of Study
Univalent Foundations
Home Institution
Institute for Advanced Study
From
-
Catherine Lelay is working on the formalization of univalent foundations of mathematics in Coq proof assistant.
Dates at IAS
Member
School of Mathematics
–
Degrees
University Paris Diderot
Ph.D.
2014