Élise Souche
Introduction
I am a Computer Science master student at École Normale Supérieure de Lyon, in France.
Interests
My interests lie at the boundary between computer science and mathematics. I am particularly interested in univalent foundations/homotopy type theory and the way it can be mechanized in proof assistants.
- Type theory
- Homotopy type theory
- Proof assistants
- Functionnal programming
- Category theory