I am a PhD student at IRIF under the supervision of Paul-André Melliès and Sam van Gool since September 2021, at the ED 386 graduate school. I belong to the three following teams:

The official title of my thesis is, in French:

Une approche topologique et fibrationnelle
de la théorie des automates d'ordre supérieur

I am interested by the interface between mathematics and computer science. I work on $\lambda$-calculus, semantics of programming languages, profinite spaces and Stone-type dualities, codensity monads, linear logic and higher-order automata, in the light of a category theory.

If you have access to the GitLab of Sophie Germain, you can see what I have been recently working on by clicking here.


Here is my DBLP page and my arXiv preprints:

I have attended the following public events, in the antichronological order:

Nom Moreau
Prénom Vincent
Bureau 4033
Mail moreau@irif.fr
Page web https://www.irif.fr/~moreau/