
Past Member
Catherine Lelay
Affiliation
Mathematics
Field of Study
Univalent Foundations
From 9/2015 – 5/2017:
Catherine Lelay is working on the formalization of univalent foundations of mathematics in Coq proof assistant.
Dates at IAS
Member
- Mathematics
Degrees
University Paris Diderot
Ph.D.,
2014