Rémi Morvan

Contact: x@u-bordeaux.fr 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.

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