Sam van Gool
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 email 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).
News
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 oneday workshop DaLFI : Duality and Logic in the passage from the Finite to the Infinite. The workshop takes place from 9:3016: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





Israel Journal of Mathematics 2019

Logic in Computer Science (LICS) 2016

Topology and its Applications 2012