Since September 2021, I am a Ph.D. student
Université de Bordeaux,
under the supervision of
Diego Figueira and
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, especially automata, algebraic language theory, infinite-duration games, and database theory.
You can contact me by email (in French or in English) at firstname.lastname@example.org where x = remi.morvan.
I am overly enthusiastic about Thomas Colcombet's
knowledge LaTeX package, which allows you to
easily insert internal hyperlinks in your documents: see
Thomas Colcombet and
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
Quantitative algebraic characterisations on truly infinite words:
1 July 2022: Highlights '22, Nice (8 min)
8 June 2022: EJCIM '22, Nice (25 min)
4 Jan. 2022: 6th ANR Delta meeting, online (20 min)
First-order separation over countable ordinals:
5 April 2022: FoSSaCS '22, Munich (25 min)
7 Oct. 2021: LX Seminar, Bordeaux (60 min)
3 Sept. 2021: M2 internship defense, Paris (20 min)
Universal algorithms for parity games and nested fixpoints:
28 June 2021: 5th ANR Delta meeting, Paris (20 min)
16 Sept. 2020: Highlights '20, online (5 min)
4 Sept. 2019: M1 internship defense, Cachan (20 min)
Universal Algorithms for Parity Games and Nested Fixpoints,
with Marcin Jurdziński
and K. S. Thejaswini,
Lecture Notes in Computer Science, volume 13660.
First-order separation over countable ordinals,
Sam van Gool,
First-order separation of transfinite regular languages,
Internship report, MPRI, École normale supérieure Paris-Saclay.
A deterministic behaviour for realistic price dynamics,
with Philippe Mathieu,
Physica A: Statistical Mechanics and its Applications.