Welcome to Vincent's IRIF page About my PhD I did my PhD at IRIF in Paris, under the supervision of Paul-André Melliès and Sam van Gool, from October 2021 to July 2025. I was at the ED 386 graduate school, and I belonged to the three following teams at IRIF: Algebra and computation from the Proofs, programs and systems pole Automata and applications from the Automata, structures and verification pole Picube (ex $\pi r^2$), an Inria project-team hosted by IRIF. The title of my PhD thesis is: A topological and fibrational approach to higher-order automata see also the theses.fr webpage. Here is the latest version of the PhD manuscript. I defended my PhD on July 11, 2025. After the summer, I have joined the Compositional Systems and Methods group in Tallinn as a postdoctoral researcher. 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, algebraic theories and higher-order automata, in the light of category theory. I co-organized the type theory and homotopy theory and the topos theory working groups at IRIF. Before that, I have co-organized a working group on the Taylor expansion in the $\lambda$-calculus. The Haskell programmer will find a nice introduction to denotational semantics on this Wikibooks page. If you have access to the GitLab of Sophie Germain, you can see what I have been recently working on by clicking here. Articles Here are my DBLP page and my arXiv preprints: Profinite trees, through monads and the lambda-calculus (arXiv) Syntactically and semantically regular languages of lambda-terms coincide through logical relations (arXiv, LIPIcs, HAL), with Tito Nguyễn, accepted at CSL 2024 Profinite lambda-terms and parametricity (arXiv, entics), with Sam van Gool and Paul-André Melliès, accepted at MFPS XXXIX We may have met I have participated in the following events, in the antichronological order: CT2025, Brno, from the 13th to the 19th of July 2025. LHC days 2025, Palaiseau, the 3rd and 4th of June 2025. Advances in Interactive and Quantitative Semantics, CIRM in Luminy, from the 26th to the 28th of May 2025. EPIT 2025 on (co)inductive & circular reasoning applied to programming, formal proofs and software verification, Aussois (France), from the 19th to the 23rd of May 2025. Dagstuhl seminar Categories for Automata and Language Theory, from the 31th of March to the 4th of April 2025. Visit to Nick Hu at the Theory of Computation at the University of Birmingham, from the 24th to the 28th of March 2025. Chocola seminar, ENS de Lyon, the 19th of September 2024 and the the 17th of October 2024. Visit to Masahito Hasegawa at the Computer Science Group of the Research Institute for Mathematical Sciences, Kyoto, summer 2024. TACL2024, Barcelona, Spain, from the 1st to the 5th of July 2024. CT2024, Santiago de Compostela, Spain, from the 23rd to the 29th of June 2024. LHC days 2024, Nantes, the 4th and 5th of June 2024. Differential λ-Calculus and Differential Linear Logic, 20 Years Later, CIRM in Luminy, from the 13th to the 17th of May 2024. HoTT/UF 2024 and the WG6 meeting, Leuven, from the 2dn to the 5th of April 2024. Chocola seminar, ENS de Lyon, the 14th of March 2024. CSL 2024, Naples, Italy, from the 19th to the 23rd of February 2024. JFLA 2024 - Journées Francophones des Langages Applicatifs, Saint-Jacut-de-la-Mer, from the 30th of January to the 2nd of February 2024. Directions and Perspectives in the $\lambda$-calculus, Bologna, the 8th of January 2024. Gallinette Xmas Type Theory Fest 2023, Nantes, the 20th of December 2023. GT SCALP, Orléans, from the 27th to the 29th of November 2023. Visit to Sylvain Salvati at the Inria LINKS team to work on sequential algorithms, Lille, from the 20th to the 23th of November 2023. Chocola seminar, ENS de Lyon, the 14th of December, the 16th of November, the 19th of October, the 28th of September. CT2023, Louvain-la-Neuve, Belgium, from the 2nd to the 8th of July 2023. CALCO 2023 & MFPS XXXIX, Bloomington, Indiana, from the 19th to the 23rd of June 2023. TYPES 2023, València, Spain, from the 12th to the 15th of June 2023. LHC days 2023 followed by the François Métayer days, Paris, from the 6th to the 9th of June 2023. Chocola seminar, ENS de Lyon, the 11th of May 2023. 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. Visit at Inria's LINKS team to work on languages of $\lambda$-terms, Lille, from the 11th to the 14th 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, Nantes, 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/