Courses I am currently teaching at ILLC:
Topology, Logic and Learning 2019 -- present
Dynamic Epistemic Logic 2014-- present
Courses previously taught at University of Amsterdam:
Computational Logic 2015--2024
Axiomatic Set Theory 2011-2013
Invited courses taught at other universities:
Course at the Workshop on Formal Epistemology. Northern Institute of Philosophy, the University of Aberdeen, June 14-18, 2010. Joint course with S. Smets.
A course on "Dynamic Quantum Logic" at Perimeter Institute for Theoretical Physics, Waterloo, Ontario, Canada. July 2005. Joint course with S. Smets.
"Logics for Communication": invited course at the Department of Artificial Intelligence of the Universidad Politécnica de Madrid, Madrid, March 2004.
A course on "dynamic modal logic" at the Foundations of the Formal Sciences II, Bonn, Germany, November 2000.
During my post-doctoral stage at ILLC (University of Amsterdam), I taught the course “Modal Logic”, as a co-lecturer with Y. Venema.
Other courses I taught in previous years at Oxford University:
Logic of Multi- Agent Information Flow: a graduate course that I created, essentially a course on my main research area (Dynamic Epistemic Logic). This year the lecturer of this course is my former student M. Sadrzadeh.
Logic and Proof: a introduction to logic for undergraduate students in Computer Science.
Functional Programming
Computer Security
Courses in Logic taught at international summer schools:
Hokkaido Summer School 2017 on Dynamic Epistemic Logic. Course Material available for students enrolled in the school.
Hokkaido Summer School 2016 on Dynamic Epistemic Logic. Course Material available for students enrolled in the school.
NASSLLI 2014. Course Material for students enrolled in the NASSLLI-2014-school.
"Interactive learning, formal social epistemology and group belief dynamics: logical, probabilistic and game-theoretic models" at ESSLLI 2012 (European Summer School in Logic, Language and Information). Joint course with S. Smets. Course Material available for ESSLLI2012-students.
"Multi- Agent Belief Dynamics" at NASSLLI 2010 (North American Summer School in Logic, Language and Information), Indiana University June 21-25, 2010. Joint course with S. Smets. Slides on-line for NASSLLI 2010 students.
“Dynamic Logics for Interactive Belief Revision” at ESSLLI’ 09 (European Summer School in Logic, Language and Information), Bordeaux 2009. Joint course with S. Smets. Course Information
"Logics for Quantum Information Flow” at ESSLLI’ 06 (European Summer School in Logic, Language and Information), Malaga 2006. Joint course with S. Smets. Course Information
“Logics for Communication: reasoning about information flow in dialogue games” at NASSLLI’ 03 (North- American Summer School in Logic, Language and Information), Bloomington Indiana, 2003.
“Dynamic Epistemic Logic” at NASSLLI’ 02, Stanford University, 2002. Joint course with L. Moss.
A course on “Logic and Games” at The First South African Summer School on Logic, Universal Algebra and Theoretical Computer Science, (LUATCS’99), Rand Afrikaans University, Johannesburg, South Africa, December 1999.