===== Welcome to Vincent's IRIF page =====

<WRAP group>
<WRAP half column>

==== About my PhD ====
I am a PhD student at IRIF under the supervision of [[https://www.irif.fr/~mellies/|Paul-André Melliès]] and [[http://samvangool.net|Sam van Gool]] since September 2021, at the [[http://ed386.sorbonne-universite.fr/fr/index.html|ED 386]] graduate school. I belong to the three following teams:
  * [[en/equipes/algebre/index|Algebra and computation]] from the [[en/poles/pps/index|Proofs, programs and systems]] pole
  * [[en/equipes/automates/index|Automata and applications]] from the [[/en/poles/asv/index|Automata, structures and verification]] pole
  * [[https://www.irif.fr/en/equipes/picube/index|Picube]] (ex [[en/equipes/pi.r2/index|$\pi r^2$]]), an [[http://www.inria.fr/en|Inria]] project-team hosted by IRIF.
The official title of my thesis is, in French:
<WRAP centeralign>
//Une approche topologique et fibrationnelle\\ de la théorie des automates d'ordre supérieur//
</WRAP>

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

I co-organize the [[https://www.irif.fr/seminaires/hott/index|type theory and homotopy theory]] working group at IRIF.

The Haskell programmer will find a nice introduction to denotational semantics on [[https://en.wikibooks.org/wiki/Haskell/Denotational_semantics|this Wikibooks page]].

If you have access to the GitLab of Sophie Germain, you can see what I have been recently working on by [[https://gitlab.math.univ-paris-diderot.fr/moreau/phd-diary|clicking here]].

</WRAP>

<WRAP half column>
\\
\\
{{ users:moreau:inhotim.jpeg?0x375 }}
\\
</WRAP>
</WRAP>


==== Articles ====

Here is my [[https://dblp.org/pid/48/773-1.html|DBLP page]] and my arXiv preprints:

  * **Profinite trees, through monads and the lambda-calculus** ([[https://arxiv.org/abs/2402.13086|arXiv]])
  * **Syntactically and semantically regular languages of lambda-terms coincide through logical relations** ([[https://arxiv.org/abs/2308.00198|arXiv]], [[https://doi.org/10.4230/LIPIcs.CSL.2024.40|LIPIcs]], [[https://hal.science/hal-04447910|HAL]]), with Tito Nguyễn, accepted at [[https://csl2024.github.io/Home/|CSL 2024]]
  * **Profinite lambda-terms and parametricity** ([[https://arxiv.org/abs/2301.12475|arXiv]], [[https://doi.org/10.46298/entics.12280|entics]]), with Sam van Gool and Paul-André Melliès, accepted at [[https://coalg.org/calco-mfps-2023/|MFPS XXXIX]]

==== We may have met ====

I have participated in the following events, in the antichronological order:
  * [[https://conferences.cirm-math.fr/2980.html|Differential λ-Calculus and Differential Linear Logic, 20 Years Later]], CIRM in Luminy, from the 13th to the 17th of May 2024.
  * [[https://hott-uf.github.io/2024/|HoTT/UF 2024]] and the [[https://europroofnet.github.io/wg6-leuven/|WG6 meeting]], Leuven, from the 2dn to the 5th of April 2024.
  * [[https://chocola.ens-lyon.fr/events/seminaire-2024-03-14/|Chocola seminar]], ENS de Lyon, the 14th of March 2024.
  * [[https://csl2024.github.io/Home/|CSL 2024]], Naples, Italy, from the 19th to the 23rd of February 2024.
  * [[http://jfla.inria.fr/jfla2024.html|JFLA 2024 - Journées Francophones des Langages Applicatifs]], Saint-Jacut-de-la-Mer, from the 30th of January to the 2nd of February 2024.
  * [[https://site.unibo.it/diapason/en/agenda/directions-and-perspectives-in-the-lambda-calculus|Directions and Perspectives in the $\lambda$-calculus]], Bologna, the 8th of January 2024.
  * [[http://people.rennes.inria.fr/Assia.Mahboubi/ttfest.html|Gallinette Xmas Type Theory Fest 2023]], Nantes, the 20th of December 2023.<!--
  * [[https://cla.tcs.uj.edu.pl/|17th workshop on Computational Logic and Applications]], Kraków and online, the 13th and 14th of December 2023. -->
  * [[https://www.irif.fr/gt-scalp/journees-2023|GT SCALP]], Orléans, from the 27th to the 29th of November 2023.
  * Visit to Sylvain Salvati at the [[https://team.inria.fr/links/fr/|Inria LINKS team]] to work on sequential algorithms, Lille, from the 20th to the 23th of November 2023.
  * Chocola seminar, ENS de Lyon, the [[https://chocola.ens-lyon.fr/events/meeting-2023-12-14/|14th of December]], the [[https://chocola.ens-lyon.fr/events/meeting-2023-11-16/|16th of November]], the [[https://chocola.ens-lyon.fr/events/meeting-2023-10-19/|19th of October]], the [[https://chocola.ens-lyon.fr/events/meeting-2023-09-28/|28th of September]].
  * [[https://sites.uclouvain.be/ct2023/|CT2023]], Louvain-la-Neuve, Belgium, from the 2nd to the 8th of July 2023.
  * [[https://coalg.org/calco-mfps-2023/|CALCO 2023 & MFPS XXXIX]], Bloomington, Indiana, from the 19th to the 23rd of June 2023.
  * [[https://types2023.webs.upv.es/|TYPES 2023]], València, Spain, from the 12th to the 15th of June 2023.
  * [[https://smimram.gitlabpages.inria.fr/lhc/journees.html|LHC days 2023]] followed by the [[https://smimram.gitlabpages.inria.fr/lhc/francois.html|François Métayer days]], Paris, from the 6th to the 9th of June 2023.
  * [[https://chocola.ens-lyon.fr/events/meeting-2023-05-11/|Chocola seminar]], ENS de Lyon, the 11th of May.
  * [[https://conferences.cirm-math.fr/2319.html|Type Theory, Constructive Mathematics and Geometric Logic]], CIRM in Luminy, from the 1st to the 5th of May 2023.
  * [[https://hott-uf.github.io/2023/|HoTT/UF 2023]] and the [[https://europroofnet.github.io/wg6-vienna/|WG6 meeting]], Vienna, from the 22nd to the 25th of April 2023.
  * [[https://www.cl.cam.ac.uk/events/syco/11/|Eleventh Symposium on Compositional Structures (SYCO 11)]], Palaiseau, the 20th and 21st of April 2023.
  * Visit at Inria's [[https://team.inria.fr/links/fr/|LINKS team]] to work on languages of $\lambda$-terms, Lille, from the 11th to the 14th of April 2023.
  * [[https://site.unibo.it/fopss2023/en|Quantitative Aspects of Program Semantics, Verification, and Transformation]], Bertinoro, from the 13th to the 17th of February 2023.
  * [[https://conferences.cirm-math.fr/2758.html/|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.
  * [[https://www.irif.fr/pps-meeting4-2023|ANR PPS 4th general meeting]], IRIF, from the 4th to the 6th of January 2023.
  * [[https://math.unice.fr/~patras/JHomotopiques/|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
  * [[https://chocola.ens-lyon.fr/events/meeting-2022-11-24/|Chocola seminar]], Université Paris Cité, the 24th of November 2022.
  * [[https://www.samvangool.net/dalfi.html|DaLFI : Duality and Logic in the passage from the Finite to the Infinite]], Université Paris Cité, the 17th of November 2022.
  * [[http://prologyear.logicprogramming.org/PrologDay.html|The Prolog Day Symposium]], Université Paris Cité, the 10th of November 2022.
  * [[https://chocola.ens-lyon.fr/events/meeting-2022-10-20/|Chocola seminar]], ENS de Lyon, the 20th of October 2022.
  * [[http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/LHC/journees.html|LHC days 2022]], ENS Paris-Saclay, on the 12th and 13th of October 2022.
  * [[https://te60.linear-logic.org/|Workshop in Honour of Thomas Ehrhard's 60th Birthday]], CNAM in Paris, on the 29th and 30th of September 2022.
  * [[https://lucareggio.github.io/RiC2022/|Resources in Computation project meeting]], London, from the 21th to the 23th of September 2022.
  * [[https://categories-and-companions.github.io/|Categories and Companions Symposium 2022]], Creswick, Victoria and online, from the 19th to the 23th of September 2022.
  * [[https://www.cst.cam.ac.uk/conference/structure-meets-power-2022|Structure Meets Power]], an [[https://icalp2022.irif.fr/|ICALP 2022]] affiliated workshop, Paris, the 4th of July 2022.
  * [[https://types22.inria.fr/|TYPES 2022]], including the first [[https://europroofnet.github.io/dedukti-school-2022/|Dedukti school]], Nantes, from the 20th to the 25th of June 2022.
  * [[https://math.unice.fr/~carlos/pages/confs/duality22/DualityAndMore.html|Duality and More]] workshop, Université Côte d'Azur, from the 16th to the 20th of May 2022.
  * [[https://www.cs.nott.ac.uk/~psznk/events/mgs22.html|Midlands Graduate School]], University of Nottingham, from the 10th to the 14th of April 2022.
  * [[https://chocola.ens-lyon.fr/events/meeting-2022-03-31/|Chocola seminar]], ENS de Lyon, the 31th of March 2022.
  * [[https://conferences.cirm-math.fr/2685.html|Linear Logic Winter School]], CIRM in Luminy, from the 24th to the 28th of January 2022.

==== Contact ====
{{page>inc&noheader&nofooter}}