Sam van Gool


IRIF, Université Paris Cité

Sophie Germain building, office 4011

8 place Aurélie Némours

75013 Paris, France

Welcome to my website! I teach and do research in mathematics and the foundations of computer science.

Research. I am broadly interested in interactions of algebra, topology, categories, and logic. More…

Teaching. In my role as maître de conférences at the UFR informatique, I teach math and CS courses to students at various levels. More…

Writing. Together with Mai Gehrke, I am writing a textbook on topological duality theory for distributive lattice based algebraic structures. I have published several articles about my research. More…

Get in touch. Feel free to send me an e-mail if anything you find here piques your interest. I am always happy to talk about these things, create new collaborations, and I often advise graduate research projects (“stage de M2” in France).


Dec 12, 2022 With Hugo Férée, we implemented Pitts’ propositional quantifiers for intuitionistic propositional logic into Coq. The accompanying paper was accepted for CPP 2023!
Nov 5, 2022 Together with Mirna Džamonja, on Thursday, November 17th 2022 we are organizing a one-day workshop DaLFI : Duality and Logic in the passage from the Finite to the Infinite. The workshop takes place from 9:30-16:30 in room 1007 at the Sophie Germain building in Paris. More details are here.
Aug 18, 2022 A summer filled with interesting and inspiring meetings: first TACL: Topology, Algebra, and Categories in Logic, then Highlights and the ICALP workshop “Structure meets power” (my slides), and then Lean for the curious mathematician 2022.
Jun 23, 2022 A new website, updating my prof. dr. style. I did keep the old version alive for archiving purposes.

Selected Publications

  1. Certified Proofs and Programs (CPP) 2023
  2. Sam van Gool and Jérémie Marquès.
  3. Textbook, preprint, 2022
  4. Forum Mathematicum 2021
  5. Advances in Mathematics 2019
  6. Israel Journal of Mathematics 2019
  7. Logic in Computer Science (LICS) 2016
  8. Sam van Gool
    Topology and its Applications 2012
Full list of publications...