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.
I started in September 2026 a phd thesis under the supervision of Nathan Lhote and Thomas Colcombet, on the subject of higher-order transducers.
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
In Aix-Marseille université
I give practice sessions for the following lectures:
- Impacts environementaux du numérique (Fall 2026)
- Algorithmique 2 (Fall 2026)
- (more to come in Spring 2027)
Past teaching experiences
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.