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