# About me

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

where *x* @u-bordeaux.fr

= *x*`remi.morvan`

(in French or in English). You can also visit me in my office (number 325)
in LaBRI.

## News

- 7 October 2021: I gave a talk
at the LX seminar, on
*First-order separation over countable ordinals*. - September 2021: Now a PhD student at LaBRI!
- 26 June 2021: I gave a talk at
ANR Delta, on
*Universal algorithms for parity games and nested fixpoints*.

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

Date | Event | Title | Slides |
---|---|---|---|

7 Oct. 2021 | LX seminar, Bordeaux | First-order separation over countable ordinals | slides |

3 Sept. 2021 | Master 2 internship defense, Paris | Definability & separability of regular languages in first-order logic | slides |

28 June 2021 | ANR Delta, Paris | Universal algorithms for parity games and nested fixpoints | slides |

16 Sept. 2020 | Highlights 2020, online | An attractor decomposition meta-algorithm for parity games | slides |

4 Sept. 2019 | Master 1 internship defense, Cachan | Solving 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:

- Complexity and Computability (for Master 1 students) ;
- Proofs & Logics (for Bachelor 3 students) ;
- Digital literacy (for Bachelor 1 students).

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.