About me
Since September 2021, I am a Ph.D. student
at LaBRI,
Université de Bordeaux,
under the supervision of
Diego Figueira and
Nathanaël Fijalkow.
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.
Talks
First-order separation over countable ordinals:
5 April 2022: FoSSaCS '22, Munich (25 min)
slides
4 Jan. 2022: 6th ANR Delta meeting, online (20 min)
slides
7 Oct. 2021: LX Seminar, Bordeaux (60 min)
slides
3 Sept. 2021: M2 internship defense, Paris (20 min)
slides
Universal algorithms for parity games and nested fixpoints:
28 June 2021: 5th ANR Delta meeting, Paris (20 min)
slides
16 Sept. 2020: Highlights 2020, online (5 min)
slides
4 Sept. 2019: M1 internship defense, Cachan (20 min)
slides
Publications
2022
First-order separation over countable ordinals,
with
Thomas Colcombet
and
Sam van Gool,
FoSSaCS '22.
doi
pdf
2021
First-order separation of transfinite regular languages,
Internship report, MPRI, École normale supérieure Paris-Saclay.
doi
pdf
2020
A symmetric attractor-decomposition lifting algorithm for parity games,
with Marcin Jurdziński,
Pierre Ohlmann, and
K. S. Thejaswini, CoRR abs/2010.08288.
doi
pdf
A Universal Attractor Decomposition Algorithm for Parity Games,
with Marcin Jurdziński, CoRR abs/2001.04333.
doi
pdf
2019
A deterministic behaviour for realistic price dynamics,
with Philippe Mathieu,
Physica A: Statistical Mechanics and its Applications.
doi