Since September 2021, I am a Ph.D. student
Université de Bordeaux,
under the supervision of
Diego Figueira and
I am a member of
the Formal Methods and
Models department, in the LX and RATIO teams.
Before that, from 2017 to 2021, I was a student at the Department of Computer Science of the
École normale supérieure Paris-Saclay: I obtained the
agrégation de mathématiques
and the Parisian Master of Research in Computer Science.
More info in my CV in English / in French.
I am interested in logic, including (but not limited to) automata, algebraic language theory, infinite-duration games,
and theoretical aspects of graph databases.
First-order separation over countable ordinals:
5 April 2022: FoSSaCS '22, Munich (25 min)
4 Jan. 2022: 6th ANR Delta meeting, online (20 min)
7 Oct. 2021: LX Seminar, Bordeaux (60 min)
3 Sept. 2021: M2 internship defense, Paris (20 min)
Universal algorithms for parity games and nested fixpoints:
28 June 2021: 5th ANR Delta meeting, Paris (20 min)
16 Sept. 2020: Highlights 2020, online (5 min)
4 Sept. 2019: M1 internship defense, Cachan (20 min)
First-order separation over countable ordinals,
Sam van Gool,
First-order separation of transfinite regular languages,
Internship report, MPRI, École normale supérieure Paris-Saclay.
A symmetric attractor-decomposition lifting algorithm for parity games,
with Marcin Jurdziński,
Pierre Ohlmann, and
K. S. Thejaswini, CoRR abs/2010.08288.
A Universal Attractor Decomposition Algorithm for Parity Games,
with Marcin Jurdziński, CoRR abs/2001.04333.
A deterministic behaviour for realistic price dynamics,
with Philippe Mathieu,
Physica A: Statistical Mechanics and its Applications.