Past Member

Catherine Lelay

Funding provided by the National Science Foundation

Affiliation

Mathematics

Field of Study

Univalent Foundations

Home Institution

Institute for Advanced Study
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