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 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).
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 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
-
-
-
-
-
Israel Journal of Mathematics 2019
-
Logic in Computer Science (LICS) 2016
-
Topology and its Applications 2012