Research

My research is mainly focused on logic, with an emphasis on database theory, automata, algebraic language theory and finite model theory. I’m currently interested in both pursuing fundamental research and putting this research into practice.

Publications

Journal papers

  • Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries, 2025
    with Diego Figueira
    LMCS (Selected Papers of ICDT '23) · arXiv · doi
  • A deterministic behaviour for realistic price dynamics, 2019
    with Philippe Mathieu
    Physica A: Statistical Mechanics and its Applications · doi

Conference proceedings

  • Minimizing Conjunctive Regular Path Queries, 2025
    with Diego Figueira and Miguel Romero
    PODS '25 · arXiv · doi
    Distinguished Paper Award
  • The Algebras for Automatic Relations, 2025
    CSL '25 · arXiv · doi
  • Separating Automatic Relations, 2023
    with Pablo Barceló and Diego Figueira
    MFCS '23 · arXiv · doi
  • Approximation and Semantic Tree-width of Conjunctive Regular Path Queries, 2023
    with Diego Figueira
    ICDT '23 · arXiv · doi
    Selected for LMCS special issue
  • Universal Algorithms for Parity Games and Nested Fixpoints, 2022
    with Marcin Jurdziński and K. S. Thejaswini
    Principles of Systems Design (Thomas Henzinger's Festschrift) · arXiv · doi
  • First-order separation over countable ordinals, 2022
    with Thomas Colcombet and Sam van Gool
    FoSSaCS '22 · arXiv · doi

Thesis

  • Homomorphism Problems in Graph Databases and Automatic Structures, 2025
    Ph.D. thesis · arXiv · doi
  • First-order separation of transfinite regular languages, 2021
    Internship report, MPRI, École normale supérieure Paris-Saclay · doi

Talks