Photo of Rémi Morvan

Rémi Morvan

Contact: where x = remi.morvan

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, in the Formal Methods and Models department, in the LX, RATIO and MTV teams.

CV: in English / in French.
Contact: where x = remi.morvan (in French or in English).

I am interested in logic and its connection with algebra, including but not limited to automata, algebraic language theory, infinite-duration games, finite model theory and database theory.

For the academic year 2023-2024, we will be in charge of the LX seminar (Logical foundations of computing) with Guillaume Lagarde, don't hesitate to get in touch if you want to give a talk!


Recent publications

See all publications

Recent talks

See all talks

Knowledge (links)

I never thought I would meet someone this excited about knowledge! Thomas C.


Separating Automatic Relations, or: Graph Colouring for Impractical Mathematicians
28 Aug. 2023: MFCS '23, Bordeaux (20 min) slides

Algebras for Regular Relations:
27 July 2023: Highlights '23, Kassel (10 min) slides
25 June 2023: Structure meets Power '23, online/Boston (20 min) slides

Approximation and semantic tree-width of conjunctive regular path queries:
21 Apr. 2023: GT DAAL '23, Le Kremlin-Bicêtre (20 min) slides
29 March 2023: ICDT '23, online/Ioannina (25 min) slides
12 Jan. 2023: MoVe Seminar, Marseille (50 min) slides
9 Dec. 2022: LINKS Seminar, Lille (50 min) slides
6 Dec. 2022: M2F Seminar, Bordeaux (50 min) slides
7 Oct. 2022: Journée M2F, Bordeaux (8 min) slides

Quantitative algebraic characterisations on truly infinite words:
1 July 2022: Highlights '22, Paris (8 min) slides
8 June 2022: EJCIM '22, Nice (25 min) slides
4 Jan. 2022: 6th ANR Delta meeting, online (20 min) slides

First-order separation over countable ordinals:
5 April 2022: FoSSaCS '22, Munich (25 min) slides
7 Oct. 2021: LX Seminar, Bordeaux (50 min) slides
3 Sept. 2021: M2 internship defense, Paris (20 min) slides

Universal algorithms for parity games and nested fixpoints:
13 Feb 2023: Verification seminar @ IRIF, Paris (50 min)
28 June 2021: 5th ANR Delta meeting, Paris (20 min) slides
16 Sept. 2020: Highlights '20, online (5 min) slides
4 Sept. 2019: M1 internship defense, Cachan (20 min) slides



Separating Automatic Relations,
with Pablo Barceló and Diego Figueira,
MFCS 2023. doi arXiv

Approximation and Semantic Tree-width of Conjunctive Regular Path Queries,
with Diego Figueira,
ICDT 2023. doi arXiv


Universal Algorithms for Parity Games and Nested Fixpoints,
with Marcin Jurdziński and K. S. Thejaswini,
Lecture Notes in Computer Science, volume 13660. doi arXiv

First-order separation over countable ordinals,
with Thomas Colcombet and Sam van Gool,
FoSSaCS '22. doi arXiv


First-order separation of transfinite regular languages,
Internship report, MPRI, École normale supérieure Paris-Saclay. doi pdf


A deterministic behaviour for realistic price dynamics,
with Philippe Mathieu,
Physica A: Statistical Mechanics and its Applications. doi pdf