I am interested in formal languages, logic, database theory and automata theory. Outside of computer science, I enjoy board games, natural language semantics and pasta.
Publications
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures
CSL: Computer Science Logic (2024)
Education
I studied at the École Normale Supérieure, where I did the MPRI.
Internships
During my studies, I had the pleasure of working with the following people:
Unification in modal logic
ENS Paris-Saclay, LMF (2026)
Higher order transducers and regular cost functions
irif (2025-2026)
Enumerating simple paths satisfying regular constraints
INRIA Lille, team LINKS/D-DAL (2025)
Finite model property of 2-variable logics
TU Dresden, Computer Logic team (2023)
Composition of classes of synchronized transducers
Aix-Marseille Université, LIS (2022)
Teaching
I gave oral examination for classes prépas :
- in mathematics at LLG (in MPSI1) for the year 2021-2022,
- in computer science at Janson de Sailly (in MPI) from 2023 to 2026 (3 years).
Miscellaneous
Computers
I use (and recommend) the following software :
- The niri window manager.
- Neovim. If you don’t like having a 2000 lines configuration file, try helix.
- Nushell. Give it a try!
Keyboards
I use my computer to write in English, French, and to code. After three years of using only bépo, I switched to the Ergo‑L disposition, which is much better: I would recommend it to anyone who speaks French, but if you are not sure about learning a new disposition, try qwerty-lafayette.
Board games
My favourite board game is Hanabi (and a two-player variation called Quack that was created at the ÉNS). I also really like Warchest (Champ d’Honneur in French). I recently discovered Présages, which is very fun, and beautiful.