Research
My research is mainly focused on logic, with an emphasis on database theory, automata, algebraic language theory and finite model theory.
Publications
Journal papers
- Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries, 2025
LMCS (Selected Papers of ICDT '23) · arXiv · doi - A deterministic behaviour for realistic price dynamics, 2019
Physica A: Statistical Mechanics and its Applications · doi
Conference proceedings
- Minimizing Conjunctive Regular Path Queries, 2025
PODS '25 · arXiv · doi
Distinguished Paper Award - The Algebras for Automatic Relations, 2025
CSL '25 · arXiv · doi - Separating Automatic Relations, 2023
MFCS '23 · arXiv · doi - Approximation and Semantic Tree-width of Conjunctive Regular Path Queries, 2023
ICDT '23 · arXiv · doi
Selected for LMCS special issue - Universal Algorithms for Parity Games and Nested Fixpoints, 2022
Principles of Systems Design (Thomas Henzinger's Festschrift) · arXiv · doi - First-order separation over countable ordinals, 2022
FoSSaCS '22 · arXiv · doi
Thesis
- Homomorphism Problems in Graph Databases and Automatic Structures, 2025
Ph.D. thesis · arXiv · doi - Minimizing Conjunctive Regular Path Queries, 2025
PODS '25 · arXiv · doi
Distinguished Paper Award - The Algebras for Automatic Relations, 2025
CSL '25 · arXiv · doi - Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries, 2025
LMCS (Selected Papers of ICDT '23) · arXiv · doi - Separating Automatic Relations, 2023
MFCS '23 · arXiv · doi - Approximation and Semantic Tree-width of Conjunctive Regular Path Queries, 2023
ICDT '23 · arXiv · doi
Selected for LMCS special issue - Universal Algorithms for Parity Games and Nested Fixpoints, 2022
Principles of Systems Design (Thomas Henzinger's Festschrift) · arXiv · doi - First-order separation over countable ordinals, 2022
FoSSaCS '22 · arXiv · doi - First-order separation of transfinite regular languages, 2021
Internship report, MPRI, École normale supérieure Paris-Saclay · doi - A deterministic behaviour for realistic price dynamics, 2019
Physica A: Statistical Mechanics and its Applications · doi
Talks
- Homomorphisms Problems in Graph Databases and Automatic Structures, and Beyond
- 30 Jul 2025: Relational AI, online · 45min · slides
- Homomorphisms Problems in Graph Databases and Automatic Structures
- 03 Jul 2025: PhD Defence, Bordeaux · 45min · slides
- Minimizing Conjunctive Regular Path Queries
- 28 May 2025: Finite Model Theory, Les Houches · 15min · slides
- 04 Feb 2025: RATIO seminar, Bordeaux · 50min
- 20 Sep 2024: Highlights '24, Bordeaux · 8min · slides
- Relative Membership of Regular Languages
- 31 Mar 2025: Categories for Automata and Language Theory, Dagstuhl · 25min · slides
- The Algebras for Automatic Relations
- 14 Feb 2025: CSL '25, Amsterdam · 25min · slides
- 25 Apr 2024: GT DAAL '24, Rennes · 30min · slides
- Residual Probabilistic Automata
- 10 Feb 2025: LeaLog@CSL '25, Amsterdam · 15min · slides
- Automatic relations through the prism of graph colourability and algebraic language theory
- 08 Mar 2024: SemAuto, Paris · 50min · slides
- 22 Feb 2024: LX Seminar, Bordeaux · 50min · slides
- What's Your Thesis About? Abolishing Capitalism. (Popularization Talk)
- Separating Automatic Relations, or: Graph Colouring for Impractical Mathematicians
- Algebras for Regular Relations
- 27 Jul 2023: Highlights '23, Kassel · 10min · slides
- 25 Jun 2023: Structure meets Power '23, online/Boston · 20min · slides
- Approximation and Semantic Tree-width of Conjunctive Regular Path Queries
- 21 Apr 2023: GT DAAL '23, Le Kremlin-Bicêtre · 20min · slides
- 29 Mar 2023: ICDT '23, online/Ioannina · 25min · slides
- 12 Jan 2023: MoVe Seminar, Marseille · 50min · slides
- 09 Dec 2022: LINKS Seminar, Lille · 50min · slides
- 06 Dec 2022: M2F Seminar, Bordeaux · 50min · slides
- 07 Oct 2022: Journée M2F, Bordeaux · 8min · slides
- Universal Algorithms for Parity Games and Nested Fixpoints
- 13 Feb 2023: Verification Seminar @ IRIF, Paris · 50min
- 28 Jun 2021: 5th ANR Delta meeting, Paris · 20min · slides
- 16 Sep 2020: Highlights '20, online · 5min · slides
- 04 Sep 2019: M1 internship defense, Cachan · 20min · slides
- Quantitative Algebraic Characterisations on Truly Infinite Words
- 01 Jul 2022: Highlights '22, Paris · 8min · slides
- 08 Jun 2022: EJCIM '22, Nice · 25min · slides
- 04 Jan 2022: 6th ANR Delta meeting, online · 20min · slides
- First-order Separation over Countable Ordinals
- 05 Apr 2022: FoSSaCS '22, Munich · 25min · slides
- 07 Oct 2021: LX Seminar, Bordeaux · 50min · slides
- 03 Sep 2021: M2 internship defense, Paris · 20min · slides
- Relational AI · 30 Jul 2025
Homomorphisms Problems in Graph Databases and Automatic Structures, and Beyond
online · 45min · slides - PhD Defence · 03 Jul 2025
Homomorphisms Problems in Graph Databases and Automatic Structures
Bordeaux · 45min · slides - Finite Model Theory · 28 May 2025
Minimizing Conjunctive Regular Path Queries
Les Houches · 15min · slides - Categories for Automata and Language Theory · 31 Mar 2025
Relative Membership of Regular Languages
Dagstuhl · 25min · slides - CSL '25 · 14 Feb 2025
The Algebras for Automatic Relations
Amsterdam · 25min · slides - LeaLog@CSL '25 · 10 Feb 2025
Residual Probabilistic Automata
Amsterdam · 15min · slides - RATIO seminar · 04 Feb 2025
Minimizing Conjunctive Regular Path Queries
Bordeaux · 50min - Highlights '24 · 20 Sep 2024
Minimizing Conjunctive Regular Path Queries
Bordeaux · 8min · slides - GT DAAL '24 · 25 Apr 2024
The Algebras for Automatic Relations
Rennes · 30min · slides - SemAuto · 08 Mar 2024
Automatic relations through the prism of graph colourability and algebraic language theory
Paris · 50min · slides - LX Seminar · 22 Feb 2024
Automatic relations through the prism of graph colourability and algebraic language theory
Bordeaux · 50min · slides - Sémidoc · 15 Nov 2023
What's Your Thesis About? Abolishing Capitalism. (Popularization Talk)
Bordeaux · 30min · slides - MFCS '23 · 28 Aug 2023
Separating Automatic Relations, or: Graph Colouring for Impractical Mathematicians
Bordeaux · 20min · slides - Highlights '23 · 27 Jul 2023
Algebras for Regular Relations
Kassel · 10min · slides - Structure meets Power '23 · 25 Jun 2023
Algebras for Regular Relations
online/Boston · 20min · slides - GT DAAL '23 · 21 Apr 2023
Approximation and Semantic Tree-width of Conjunctive Regular Path Queries
Le Kremlin-Bicêtre · 20min · slides - ICDT '23 · 29 Mar 2023
Approximation and Semantic Tree-width of Conjunctive Regular Path Queries
online/Ioannina · 25min · slides - MoVe Seminar · 12 Jan 2023
Approximation and Semantic Tree-width of Conjunctive Regular Path Queries
Marseille · 50min · slides - LINKS Seminar · 09 Dec 2022
Approximation and Semantic Tree-width of Conjunctive Regular Path Queries
Lille · 50min · slides - M2F Seminar · 06 Dec 2022
Approximation and Semantic Tree-width of Conjunctive Regular Path Queries
Bordeaux · 50min · slides - Journée M2F · 07 Oct 2022
Approximation and Semantic Tree-width of Conjunctive Regular Path Queries
Bordeaux · 8min · slides - Highlights '22 · 01 Jul 2022
Quantitative Algebraic Characterisations on Truly Infinite Words
Paris · 8min · slides - EJCIM '22 · 08 Jun 2022
Quantitative Algebraic Characterisations on Truly Infinite Words
Nice · 25min · slides - 6th ANR Delta meeting · 04 Jan 2022
Quantitative Algebraic Characterisations on Truly Infinite Words
online · 20min · slides - FoSSaCS '22 · 05 Apr 2022
First-order Separation over Countable Ordinals
Munich · 25min · slides - LX Seminar · 07 Oct 2021
First-order Separation over Countable Ordinals
Bordeaux · 50min · slides - M2 internship defense · 03 Sep 2021
First-order Separation over Countable Ordinals
Paris · 20min · slides - Verification Seminar @ IRIF · 13 Feb 2023
Universal Algorithms for Parity Games and Nested Fixpoints
Paris · 50min - 5th ANR Delta meeting · 28 Jun 2021
Universal Algorithms for Parity Games and Nested Fixpoints
Paris · 20min · slides - Highlights '20 · 16 Sep 2020
Universal Algorithms for Parity Games and Nested Fixpoints
online · 5min · slides - M1 internship defense · 04 Sep 2019
Universal Algorithms for Parity Games and Nested Fixpoints
Cachan · 20min · slides