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