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. 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.



I am overly enthusiastic about Thomas Colcombet's knowledge LaTeX package, which allows you to easily insert internal hyperlinks in your documents: see this example! Together with Thomas Colcombet and Aliaume Lopez, we wrote a "nifty software tool" named knowledge-clustering, an easy-to-use command-line tool to automate the use of knowledge. You can also find in knowledge-examples a tutorial on how to use both knowledge and knowledge-clustering, together with basic working examples of documents.


Quantitative algebraic characterisations on truly infinite words:
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 (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 '20, online (5 min) slides
4 Sept. 2019: M1 internship defense, Cachan (20 min) slides



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


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


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


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