I am a 4th year student at ENS Ulm student, working on computer science on logic, category, programming languages and reverse mathematics.
Internships
- October 2025–February 2026: 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)
Other works
Master’s thesis
Mixing classical and intuitionistic constructiveness: a formulae-as-types interpretation for classical S4 modal logic and second-class continuations
2025
October 2025-February 2026 internship’s report
A Zoo of Partial Continuity Properties in Constructive Type Theory
2026
Education
- 2022-2026: ENS Ulm
- 2024-2025: M2 MPRI
- 2023-2024: M1 at ENS Ulm
- 2022-2023: L3 at ENS Ulm