I am a 4th year student at ENS Ulm student, working on computer science on logic, category, programming languages and reverse mathematics.
Internships
- October–February 2025: Continuity properties of partial recursive functions in constructive mathematics with Yannick Forster at INRIA Paris
- Mars–August 2025: Mixing classical and intuitionistic constructiveness: a formulae-as-types interpretation for classical S4 modal logic and second-class continuations with Guillaume Munch-Maccagnoni in Nantes
- Mars–July 2024: Modal fixed point and category theory with Marcelio Fiore in Cambridge
- June–July 2023: Modular efficient deconstruction with typed pointer reversal with Guillaume Munch-Maccagnoni in Nantes
Publications
Conference papers
Modular efficient deconstruction with typed pointer reversal
35es Journées Francophones des Langages Applicatifs (JFLA) (2024)
Master’s thesis
Mixing classical and intuitionistic constructiveness: a formulae-as-types interpretation for classical S4 modal logic and second-class continuations
2025
Education
- 2022-2026: ENS Ulm
- 2024-2025: M2 MPRI
- 2023-2024: M1 at ENS Ulm
- 2022-2023: L3 at ENS Ulm