Recent event (co-)organization:

Recent 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).
  • Invited lecture, Highlights of Logic, Games and Automata (Highlights’21).
  • Invited lecture, 2021 Samsung AI Workshop “When deep learning meets logic”.
  • Invited lecture, International Workshop on Description Logics (DL’20).
  • Invited lecture, Mathematical Foundations of Informatics (MFOI’16).
  • Tutorial, International Conference on Extending Database Technology (EDBT’13, with Phokion Kolaitis and Wang-Chiew Tan).
  • Invited lecture, Tbilisi Symposium on Language, Logic, and Computation (TbiLLC’13).
  • Invited lecture, International Conference on Advances in Modal Logic (AIML’12).
  • Invited lecture, International Workshop on Automata and Algorithmic Logic (AAL’09).
  • Invited lecture, International Workshop on Hybrid Logic (HyLo’07).
  • Invited lecture, International Workshop on Methods for Modalities (M4M’07).
  • Invited lecture, International Workshop on Inference in Computational Semantics (ICOS’03).

Teaching

  • Logic, Data Examples, and Learning (ESSLLI 2023 Summer School, with 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, with Michael Benedikt).
  • Phil 152/252: Computability and Logic (Stanford, 2013).
  • Model Theory for Extensions of Modal Logic (ESSLLI 2008 summer school, with David Gabelaia).
  • Model Theory for Modal Logic (2007 Vienna-Tbilisi Summer School in Logic and Language, with David Gabelaia).
  • Automated Reasoning (UvA 2005, with David Ahn).
  • Hybrid Logics (ESSLLI 2004, with Massimo Franceschet).