Sam van Gool

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.

• Modal unification step by step, Workshop on Resources and Co-Resources, University of Cambridge, UK, 17-19 July 2023, first published in UNIF 2023, slides by my co-author Johannes Marti.
• Frames and profinite structures, Formalization of cohomology theories, Banff, Canada, 21-26 May 2023 (mathlib contribution 1).
• Logic, lattices and profinite structures, Logique à Paris, 9-12 May 2023.
• Formalizing and Computing Propositional Quantifiers, Certified Programs and Proofs, 16-17 January 2023, Boston/online (publication)
• Proaperiodic monoids via saturated models, Structure Meets Power, ICALP Workshop, Paris, 4 July 2022.
• TACL, Coimbra, Portugal, 20-24 June 2022.
• Duality and More workshop, Nice, 16-20 May 2022 (slides).

Students

• 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

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).

Member of the equalities committee of IRIF.

Responsible for international relations (student and staff exchanges) at the UFR informatique.

Program committees: CSL 2024, RAMiCS 2023, AiML 2022, RAMiCS 2021.

Reviewer for open-access journals and conferences, PhD theses, and grant proposals.

• Ten lessons I wish I had been taught, advice for young mathematicians from Gian-Carlo Rota.

• Interview with Mai Gehrke at CIRM, and her public lecture on Duality.

• So, you think you're bad at math..., a pep talk by Courtney Gibbons.

• Changing the narratives in mathematics, an essay by Simone Ramello.

• Theoretical computer scientists for climate: the TCS4F manifesto.

• My musical activities.