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

I now have a preprint about my work on arXiv! Here it is:

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

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