Current Member

Catherine Lelay

Funding provided by the National Science Foundation
Affiliation
Mathematics
Field of Study
Univalent Foundations
Home Institution
Institute for Advanced Study

Catherine Lelay is working on the formalization of univalent foundations of mathematics in Coq proof assistant.

Dates at IAS

Member: Mathematics

9/2015current
Degrees
University Paris Diderot Ph.D., 2014