Welcome to Vincent's IRIF page About my PhD 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: Algebra and computation from the Proofs, programs and systems pole Automata and applications from the Automata, structures and verification pole Picube/$\pi r^2$, an Inria project-team hosted by IRIF. The title of my thesis is, in French: Une approche topologique et fibrationnelle de la théorie des automates d'ordre supérieur Our ambition is to connect profinite spaces and Stone-type dualities, codensity monads, linear logic and higher-order automata within a categorical framework. If you have access to the GitLab of Sophie Germain, you can see what I have been recently working on by clicking here. We may have met I have attended the following public events, in the antichronological order: HOMOTOPICAL DAYS, Rencontre dédiée à Clemens Berger, pour ses 60 ans, Université Côte d'Azur, from the 7th to the 9th of December 2022 Chocola seminar, Université Paris Cité, the 24th of November 2022. DaLFI : Duality and Logic in the passage from the Finite to the Infinite, Université Paris Cité, the 17th of November 2022. The Prolog Day Symposium, Université Paris Cité, the 10th of November 2022. Chocola seminar, ENS de Lyon, the 20th of October 2022. LHC days 2022, ENS Paris-Saclay, on the 12th and 13th of October 2022. Workshop in Honour of Thomas Ehrhard's 60th Birthday, CNAM in Paris, on the 29th and 30th of September 2022. Resources in Computation project meeting, London, from the 21th to the 23th of September 2022. Categories and Companions Symposium 2022, Creswick, Victoria and online, from the 19th to the 23th of September 2022. Structure Meets Power, an ICALP 2022 affiliated workshop, Paris, the 4th of July 2022. TYPES 2022, including the first Dedukti school, from the 20th to the 25th of June 2022. Duality and More workshop, Université Côte d'Azur, from the 16th to the 20th of May 2022. Midlands Graduate School, University of Nottingham, from the 10th to the 14th of April 2022. Chocola seminar, ENS de Lyon, the 31th of March 2022. Linear Logic Winter School, CIRM in Luminy, from the 24th to the 28th of January 2022. Contact Nom Moreau Prénom Vincent Téléphone Bureau 4033 Mail moreau@irif.fr Page web https://www.irif.fr/~moreau/