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

Jun 23, 2022	A new website, updating my prof. dr. style.

Selected Publications

Topological duality for distributive lattices, and applications.

Mai Gehrke and Sam van Gool.

Textbook, preprint, 2022

arXiv

This book is a course in Stone-Priestley duality theory, with applications to logic and theoretical computer science. Our target audience are graduate students and researchers in mathematics and computer science. Our aim is to get in a fairly full palette of duality tools as directly and quickly as possible, then to illustrate and further elaborate these tools within the setting of three emblematic applications: semantics of propositional logics, domain theory in logical form, and the theory of profinite monoids for the study of regular languages and automata. This preprint version contains the first part of the book, a graduate level ‘crash course’ in duality theory as it is practiced now, and a chapter on applications to domain theory.
Priestley duality for MV algebras and beyond.

Wesley Fussner, Mai Gehrke, Sam van Gool, and Vincenzo Marra.

Forum Mathematicum 2021

arXiv PDF
Pointlike sets for varieties determined by groups.

Sam van Gool and Benjamin Steinberg.

Advances in Mathematics 2019

arXiv PDF
Monadic second order logic as the model companion of temporal logic.

Silvio Ghilardi and Sam van Gool.

Logic in Computer Science (LICS) 2016

PDF
Duality and canonical extensions for stably compact spaces.

Sam van Gool

Topology and its Applications 2012

arXiv PDF

Full list of publications...