Past Member

Catherine Lelay

Funding provided by the National Science Foundation
Affiliation
Mathematics
Field of Study
Univalent Foundations

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