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 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: Profinite lambda-terms and parametricity, written with my two advisors. We may have met I have attended the following public events, in the antichronological order: Type Theory, Constructive Mathematics and Geometric Logic, CIRM in Luminy, from the 1st to the 5th of May 2023. HoTT/UF 2023 and the WG6 meeting, Vienna, from the 22nd to the 25th of April 2023. Eleventh Symposium on Compositional Structures (SYCO 11), Palaiseau, the 20th and 21st of April 2023. Quantitative Aspects of Program Semantics, Verification, and Transformation, Bertinoro, from the 13th to the 17th of February 2023. Discrete mathematics and logic: between mathematics and the computer science (from the finite to the infinite), CIRM in Luminy, from the 16th to the 20th of January 2023. ANR PPS 4th general meeting, IRIF, from the 4th to the 6th of January 2023. 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/