About me

avatar

Since September 2021, I am a PhD student at LaBRI, Université de Bordeaux, under the supervision of Diego Figueira, Nathanaël Fijalkow and Marcin Jurdziński. Before that, from 2017 to 2021, I was a student at École normale supérieure Paris-Saclay, and passed the agrégation de mathématiques.

Contact

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.


Talks

DateEventTitleSlides
7 Oct. 2021LX seminar, BordeauxFirst-order separation over countable ordinalsslides
3 Sept. 2021Master 2 internship defense, ParisDefinability & separability of regular languages in first-order logicslides
28 June 2021ANR Delta, ParisUniversal algorithms for parity games and nested fixpointsslides
16 Sept. 2020Highlights 2020, onlineAn attractor decomposition meta-algorithm for parity gamesslides
4 Sept. 2019Master 1 internship defense, CachanSolving parity games: Universal trees and hierarchical decompositionsslides


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.