Teaching

2012

CMPS17: Social Networks (Spring 2012)

2008

Model theory for extensions of modal logic (with David Gabelaia, ESSLLI summer school)

2007

Model theory for modal logic (with David Gabelaia, Vienna-Tbilisi Summer School in Logic and Language)

2005

Automated Reasoning (with David Ahn)

2004

Hybrid Logics (with Massimo Franceschet, ESSLLI summer school)

2003

Core Logic (with Johan van Benthem)

2002

Redeneren en Programmeren (with Maarten Marx)

Capita Selecta Semantics and Pragmatics (with Robert van Rooy)

2001

Redeneren en Programmeren (with Maarten Marx)

2000

Redeneren en Programmeren (with Maarten Marx)

Logische technieken in AI (with Mehdi Dastani)