About me

avatar

Since September 2021, I am a Ph.D. student at LaBRI, Université de Bordeaux, under the supervision of Diego Figueira and Nathanaël Fijalkow. 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, an M.Ed. in Mathematics, and an M.Sc. in Computer Science.

Curriculum vitae: in French or in English.

Where to find me

You can send me an email at x@u-bordeaux.fr where x = remi.morvan (in French or in English). You can also visit me in my office (number 325) in LaBRI.

News


Research

I am interested in automata, logics and games.

From March 2019 to July 2019, I did an internship (internship defense) at the Department of Computer Science, at the University of Warwick, under the supervision of Marcin Jurdziński, on recursive algorithms for parity games.

Then, between March 2021 and August 2021, I studied the separation of transfinite regular languages (regular languages of words indexed by countable ordinals) by first-order logic (internship defense & internship report) under the supervision of Thomas Colcombet and Sam van Gool at IRIF, Université de Paris.


Publications


Talks

DateEventTitleResources
4 Jan. 20226th ANR Delta meeting, onlineSeparation over infinite words  slides
7 Oct. 2021LX seminar, BordeauxFirst-order separation over countable ordinals  slides
3 Sept. 2021M2 internship defense, ParisDefinability & separability of regular languages in first-order logic  slides
28 June 20215th ANR Delta meeting, ParisUniversal algorithms for parity games and nested fixpoints  slides
16 Sept. 2020Highlights 2020, onlineAn attractor decomposition meta-algorithm for parity games  slides
4 Sept. 2019M1 internship defense, CachanSolving parity games: Universal trees and hierarchical decompositions  slides

Teaching

In 2021–2022, I am giving exercises sessions (TD) at Université de Bordeaux for the following classes:

In 2020–2021, I gave oral exams (khôlles) to first-year students in prépa, in mathematics, at Lycée Saint-Louis, Paris. You can download the exercises I gave, in French.