Sam van Gool

Office: 4011, Sophie Germain building, 8 place Aurélie Némours, 75013 Paris, France

I am a mathematician and computer scientist, working at IRIF and the UFR informatique at Université Paris Cité, where I am a tenured associate professor (maître de conférences).

In practice, this means that I think, read, write, teach, attend talks, give talks, code, organize, and collaborate with others on all of these things. I also sometimes write and perform music.

photo of Sam in 2023


  • 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. I will be recruiting a post-doc for 1 year during this project to work with me on topics related to Stone duality and profinite methods in logic and computer science.
    Please send me an e-mail if you are a recent PhD graduate or will graduate soon and you might be interested to apply for this post-doc position.
  • 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.
  • December 2023: we submitted the final corrections for the proofs of our book Topological Duality for Distributive Lattices: Theory and Applications, with Mai Gehrke, to appear early 2024 in Cambridge University Press. 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.)
  • 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.



      In 2023-2024, I am on a sabbatical (Congé pour Recherches ou Conversion Thématiques in French).

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

      Teaching archive...





      • Clotilde Bizière, Master, IRIF, ongoing, co-advised with Marie Fortin.
      • 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.
      • Anatole Leterrier, Master MPRI, 2022.
      • Rémi Morvan, MPRI, 2021, co-advised with Thomas Colcombet.
      • Thomas Randriamahazaka, Master LMFI, 2020.
      • Corto Mascle, MPRI, 2020, co-advised with Thomas Colcombet.
      • Chase Ford, 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 thesis advisor).

      Workshops and working groups


      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.