Conference organization:
- PC chair ICDT 2026,
- PC chair TbiLLC 2025,
- PC chair ESSLLI 2025
- PC member PODS 2025, ICALP 2024, AIML 2024, KR 2024, KR 2023
- Workshop organizer LeaLog@CSL 2025, CIBD 2024, LeaLog@TbiLLC 2023, KNAW/VvL 2023 webinar on causal reasoning and inference , GF-at-25 2022.
Multi-year academic service:
- Board member of IPN (ICT-Research Platform Nederland) starting from 2026.
- Board member of VvL (Dutch Association for Logic and the Philosophy of Exact Sciences)
- Committee member ESSLLI Standing Committee
- Committee member ICDT Council (International Conference on Database Theory)
- Committee member NWO/Lorentz Workshop ICT with Industry Steering Committee
- Committee member ASL Committee on Education
- Committee member DLPMST Commission on Logic Education
- Associate editor Journal of Logic, Language and Information (JOLLI).
Invited lectures / tutorials:
- Invited lecture, 2024 EACSL Annual Conference on Computer Science Logic 2024 (CSL’24)
- Keynote lecture, 2023 Workshop on Interdisciplinary Research in Logic (IRL’23)
- Distinguished Lecture, University of Bergen Department of Informatics (Nov 2023)
- Invited lecture, Tbilisi Symposium on Language, Logic, and Computation (TbiLLC’23).
Teaching
- UvA (MSc Logic): Seminar Mathematical Logic (2023; 2024; 2025)
- UvA (MSc Logic): Computational Learning Theory, KR and Logic. (2022; 2023; 2024; 2025)
- UvA (BSc Informatiekunde): Inleiding logica (2022; 2023; 2024; 2025).
- UvA (MSc Logic): Automated Reasoning (2005, with David Ahn).
- Stanford: Phil 154/254: Modal logic (2019).
- Stanford: Phil 152/252: Computability and Logic (2013).
- UCSC: CMPS 17: Social Networks (UC Santa Cruz , 2012; 2013; 2014).
- ESSLLI 2024: A modern introduction to Craig interpolation (with Frank Wolter).
- ESSLLI 2023: Logic, Data Examples, and Learning (with Carsten Lutz)
- ESSLLI 2014: Modern Database Dependency Theory (with Michael Benedikt).
- ESSLLI 2008: Model Theory for Extensions of Modal Logic (with David Gabelaia).
- ESSLLI 2004: Hybrid Logics (with Massimo Franceschet).
- Vienna-Tbilisi Summer School in Logic and Language: Model Theory for Modal Logic (2007, with David Gabelaia).