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/2015–5/2017Degrees
University Paris Diderot
Ph.D.,
2014