Sam van Gool

IRIF · UFR informatique · Université Paris Cité · vangool@irif.fr

Publications
Talks
Teaching
Service
Collaborations
Links

News

December 2024: I successfully defended my Habilitation à Diriger des Recherches (HDR) on December 6th, 2024. More information.
July 2024: Our IJCAR 2024 publication on uniform interpolation, joint with Hugo Férée, Iris van der Giessen, and Ian Shillito, won a best paper award.
March 2024: The book Topological Duality for Distributive Lattices: Theory and Applications, which I wrote together with Mai Gehrke, is published in its online edition by Cambridge University Press, with print copies available starting April. If you want to "try before you buy", an older, pre-print version is available on ArXiv. (Caution: the ArXiv version does not reflect the latest corrections.)
In February 2024, we released a Uniform Interpolation Calculator, which lets you compute uniform interpolants in a number of intuitionistic and modal logics. It is based on our verified Coq implementation of the underlying theorems. It's a demo, any feedback on how this can be made more useful for research is welcome!
Joint work with Hugo Férée, Iris van der Giessen, and Ian Shillito.
Starting January 2024, I am managing a 4-year research project titled Topology for Types and Terms, funded by the French National Research Agency (ANR) under the Young Researcher (JCJC) scheme.
December 2023: our paper Deciding Equations in the Time Warp Algebra, with Adrien Guatto, George Metcalfe, and Simon Santschi, was accepted for publication in Logical Methods in Computer Science.
November 2023: our paper On duality and model theory for polyadic spaces, with Jérémie Marquès, was accepted for publication in Annals of Pure and Applied Logic.

Publications

Teaching

2024-2025

Python and object-oriented programming, lectures and exercises as part of the preparation for the agrégation informatique (Sorbonne Université).
Introduction to deep learning, lectures and labs, Computer Science Master's (Université Paris Cité).
Duality theory and categorical logic, lectures, Master's in Logic and Foundations of Computer Science (Université Paris Cité).

Supervision of individual projects. I am always happy to discuss individual projects with prospective students; you can send me an e-mail.

Previous teaching...

Talks and events

Domains and automata in duality-theoretic form (slides), International Symposium on Domain Theory, Qufu, China, 2-5 August 2024 (invited).
Topology, Algebra, and Categories in Logic, Barcelona, Spain, 1-5 July 2024.
Theory and Practice of Uniform Interpolation (slides), WoLLiC, Bern, Switzerland, 10-13 June 2024 (invited).
Solving temporal equations by folding de Bruijn graphs (slides), ATLAS workshop and GT DAAL, Rennes, France, 23-26 April 2024.
Stone duality and its formalization (slides), Lean for the curious mathematician, Luminy, France, 24-29 March 2024 (invited).
Profinite monoids as polyadic spaces (slides), AutCat working group, IRIF, 5 March 2024.
Modal unification and de Bruijn graph homomorphisms, Automata seminar, IRIF, 10 November 2023.
Modal unification step by step, Workshop on Resources and Co-Resources, University of Cambridge, UK, 17-19 July 2023, first published in UNIF 2023, slides by my co-author Johannes Marti.
Frames and profinite structures, Formalization of cohomology theories, Banff, Canada, 21-26 May 2023 (mathlib contribution 1, 2, and 3).
Logic, lattices and profinite structures, Logique à Paris, 9-12 May 2023.
Formalizing and Computing Propositional Quantifiers, Certified Programs and Proofs, 16-17 January 2023, Boston/online (publication)
Proaperiodic monoids via saturated models, Structure Meets Power, ICALP Workshop, Paris, 4 July 2022.
TACL, Coimbra, Portugal, 20-24 June 2022.
Duality and More workshop, Nice, 16-20 May 2022 (slides).

More...

Collaborations

Research Students

Umberto Tarantino, PhD, IRIF, ongoing.
Vincent Moreau, PhD, IRIF, ongoing, co-advised with Paul-André Melliès.
Mehdi Zaïdi, PhD, U. Nice, 2022, co-advised with Mai Gehrke.
Luca Reggio, PhD, IRIF, 2018, co-advised with Mai Gehrke and Daniela Petrisan.
Artur Szafarczyk, Master, LMFI, Apr-Aug 2024, co-advised with Jérémie Marquès.
Clotilde Bizière, Master, MPRI, Sep 2023-Feb 2024, co-advised with Marie Fortin.
Anatole Leterrier, Master, MPRI, 2022.
Rémi Morvan, Master, MPRI, 2021, co-advised with Thomas Colcombet.
Thomas Randriamahazaka, Master, LMFI, 2020.
Corto Mascle, Master, MPRI, 2020, co-advised with Thomas Colcombet.
Chase Ford, Master, MSc Logic Amsterdam, 2019, co-advised with Yde Venema.

Other Collaborations

Michelle Sweering (Amsterdam), Iris van der Giessen (Birmingham), Ian Shillito (Canberra), Jérémie Marquès (Nice), Johannes Marti (Zürich), Adrien Guatto (Paris), Hugo Férée (Paris), Thomas Colcombet (Paris), Wesley Fussner (Nice), Axel Osmond (Paris), Denis Kuperberg (Lyon), Rosalie Iemhoff (Utrecht), Yde Venema (Amsterdam), Benjamin Steinberg (New York), Luca Reggio (Oxford), Silvio Ghilardi (Milan), Costas Tsinakis (Nashville), George Metcalfe (Bern), Daniela Petrisan (Paris), Paul-André Melliès (Paris), Andrej Bauer (Ljubljana), Karin Cvetko Vah (Ljubljana), Ganna Kudryavtseva (Ljubljana), Vincenzo Marra (Milan), Dick de Jongh (Amsterdam), Nick Bezhanishvili (Amsterdam), Dion Coumans (Nijmegen), Mai Gehrke (Nice, PhD advisor), Alessandra Palmigiano (Amsterdam, MSc advisor), Floris Roelofsen (Amsterdam).

Workshops and working groups

2023 - ongoing: Working Group on Categories for Automata and Language Theory.
Spring 2023: Reading group on Rossman's homomorphism theorem.
Spring 2023: Lambda Pros day 2023.
Fall 2022: DaLFI 2022.

Service

Member of the equalities committee of IRIF.

Responsible for international relations (student and staff exchanges) at the UFR informatique.

Program committees: Highlights 2024, UNIF 2024, CSL 2024, RAMiCS 2023, AiML 2022, RAMiCS 2021.

Reviewer for open-access journals and conferences, PhD theses, and grant proposals.