About

I am currently doing a postdoc in MPI-SWS, Kaiserslautern, with Georg Zetzsche, in the Models of Computation group. Before that, I completed a PhD in LaBRI, Bordeaux, under the supervision of Anca Muscholl and Igor Walukiewicz. My thesis was about verification and control problems over models of distributed systems, but I am interested in everything related to automata, logics and games. Before that, from 2017 to 2021, I was a student at the ENS Paris-Saclay.

My research blog

• SOAP (Simple Open and Annoying Problems)

Interns

• Sahana Jahagirdar, on Positional strategies for populations of MDPs, June-July 2026
• Aurélien Blancal-Simon, on representations of semi-linear sets, co-supervised with Georg Zetzsche, March-July 2026
• Théo Lacoste, on implementation of killing words search in unambiguous automata, June-July 2024
• Erwann Loulergues, on expressivity of keyboard models, co-supervised with Vincent Penelle, June-July 2024
• Romain Delpy, on deadlock detection in lock-sharing systems, co-supervised with Anca Muscholl, June-July 2023

Miscellaneous

• I am part of the Program Commitee of STACS 2027.
• I organised the Formal methods seminar in Bordeaux in 2023 and 2024, and the AFoDIB student seminar in 2023.
• I organised a workshop on automata for the modelisation of infinite-state systems in 2024, 2025 (with Lucie Guillou) and 2026 (with Isa Vialard), which was recently renamed MAMMA MIA, as part of the Highlights CReW.

News

• October 2026
  Attending Highlights and the CREW in Vienna. I am co-organising a workshop on automata for the modelisation of infinite-state systems, with Isa Vialard
  
• November 2026
  Invited speaker at the GT vérif annual meeting in Rennes