Positions
In 2023-2025, I am an FSMP post-doctoral researcher at Université Paris Cité, in the Mathematical Logic team at imj-prg (local page here), under the supervision of Tamara Servi.
In 2022-2023, I was a post-doctoral researcher at Universität Konstanz, in Salma Kuhlmann's team.
Before that, I was a PhD Student in Université de Mons and Laboratoire d'Informatique de l'Ecole Polytechnique, under the joint supervision of Françoise Point and Joris van der Hoeven.