É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 and cubical type theory
- Category theory
- Proof assistants
- Functionnal programming
News
- Sep. 2026: teaching at ENS' HoTT student seminar
- 2026-08-12: at Queer People in Category Theory at Hamburg University
- 2026-06-08: at Formalizing Higher Categories at Institut Mittag-Leffler
- May 2026: started an internship with Anders Mörtberg at Stockholm University
- Aug. 2025: obtained my bachelor of Fundamental Computer Science
- May 2025: started an internship with David Monniaux at Université Grenobles-Alpes
- Jul. 2024: have been admitted to ENS de Lyon