I work at IRIF and the UFR informatique at Université Paris Cité as a maître de conférences (~associate professor, tenured).
E-mail: vangool@irif.fr Office: 4011, Sophie Germain building, 8 place Aurélie Némours, 75013 Paris, France
Mathématiques discrètes. Sets, proofs, graphs, and probability.
Logique. Propositional and first-order logic, sequent calculus, semantics, satisfiability solving, with implementation projects.
Profinite monoids, automata, and logic. A graduate-level introduction to the research field. Lecture notes.
Préparation à l'agrégation d'informatique. Object-oriented programming, data structures, and algorithms.
Initiation à la programmation 1. A first programming course.
More...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 students and 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.