Conference organization:

- PC chair ICDT 2026
- PC chair ESSLLI 2025
- PC co-chair TbiLLC 2025
- PC member PODS 2025, ICALP 2024, AIML 2024, KR 2024, KR 2023, DPFO 2023
- Workshop organizer CIBD 2024, April 22-23, Amsterdam
- Workshop organizer TbiLLC’23 workshop on learning and logic. Sep 21, 2023, Telavi (Georgia).
- Workshop organizer Joint KNAW/VvL webinar on causal reasoning and inference. Jan 24, 2023, online.
- Workshop organizer Guarded Fragments: Current Trends and Applications (GF@25). Apr 5-6, 2022, online.

Multi-year academic service:

- Committee member ASL Committee on Education
- Board member of VvL (Dutch Association for Logic and the Philosophy of Exact Sciences)
- Member of the editorial board of the Journal of Logic, Language and Information (JOLLI).
- Associate editor Proceedings of the ACM on Management of Data (PACMMOD).

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

*A modern introduction to Craig interpolation*(ESSLLI 2024 Summer School, w. Frank Wolter).*Seminar Mathematical Logic: Finite Model Theory (UvA, MSc Logic, 2024)**Computational Learning Theory, Knowledge Representation, and Logic*. (UvA, MSc Logic, 2023).*Logic, Data Examples, and Learning*(ESSLLI 2023 Summer School, w. Carsten Lutz)*Seminar Mathematical Logic*:*Finite Structures and Homomorphisms*(UvA, MSc Logic, 2023).*Computational Learning Theory, Knowledge Representation, and Logic*. (UvA, MSc Logic, 2022).*Inleiding logica*(UvA, BSc informatiekunde, 2022, with Robert van Rooij).*What Makes Logics (Un)Decidable?*(UvA, short course , 2022).*Phil 154/254: Modal logic*(Stanford, 2019).*CMPS 17: Social Networks*(UC Santa Cruz , 2012-14).*Modern Database Dependency Theory*(ESSLLI 2014 Summer School, w. Michael Benedikt).*Phil 152/252: Computability and Logic*(Stanford, 2013).*Model Theory for Extensions of Modal Logic*(ESSLLI 2008 Summer School, w. David Gabelaia).*Model Theory for Modal Logic*(2007 Vienna-Tbilisi Summer School in Logic and Language, w. David Gabelaia).*Automated Reasoning*(UvA 2005, with David Ahn).*Hybrid Logics*(ESSLLI 2004 Summer School, w. Massimo Franceschet).