Catherine Lelay headshot
Past Member

Catherine Lelay

Funding provided by the National Science Foundation

Affiliation

Mathematics

Field of Study

Univalent Foundations
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