Conference organization:

Multi-year academic service:

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