2021-2022

• Artificial Intelligence 1, BSc, University of Groningen
• Computational Social Choice, MSc, University of Groningen
• Digital Legal Studies, BSc (Minor Law & Economics), University of Amsterdam

2020-2021

• Artificial Intelligence 1, BSc, University of Groningen
• Introduction to Logic, BSc, University of Groningen
• Computational Social Choice, MSc, University of Groningen
• Digital Legal Studies, BSc (Minor Law & Economics), University of Amsterdam

2019-2020

• Artificial Intelligence 1, BSc, University of Groningen
• Introduction to Logic, BSc, University of Groningen
• Computational Social Choice, MSc, University of Groningen
• Digital Legal Studies, BSc (Minor Law & Economics), University of Amsterdam

2018-2019

• Artificial Intelligence 1, BSc, University of Groningen
• Introduction to Logic, BSc, University of Groningen

2017-2018

• Artificial Intelligence 1, BSc, University of Groningen
• Introduction to Logic (with Rineke Verbrugge), BSc, University of Groningen

2016-2017

• Communicating Computer Science (COMP335), Undergraduate, University of Liverpool
• Supervision: 6 final year honors projects

2015-2016

• Reasoning about Action and Change (COMP525), Master, University of Liverpool
• Supervision: 3 final year honors projects, 1 MSc project

2014-2015

• Reasoning about Action and Change (COMP525), Master, University of Liverpool
• Supervision: 6 final year honors projects, 3 MSc projects

2013-2014

• Reasoning about Action and Change (COMP525), Master, University of Liverpool
• Supervision: 2 final year honors projects, 1 MSc project

2012-2013

• Reasoning about Action and Change (COMP525), Master, University of Liverpool
• Robotics and Autonomous Systems (COMP329), Bachelor, University of Liverpool
• Supervision: 3 final year honors projects, 3 MSc projects

2011-2012

• Reasoning about Action and Change (COMP525), Master, University of Liverpool
• Introduction to Abstract Argumentation Theory, ESSLLI’12, University of Opole. Videos of the lectures can be found here:
  • Lecture 1 (Basic concepts)
    
  • Lecture 2 (Solution concepts for argumentation)
    
  • Lecture 3 (Modal logic of argumentation)
    
  • Lecture 4 (Games for argumentation)
    
  • Lecture 5 (Logic, fixpoints and games)
    
• Supervision: 3 MSc projects

2010-2011

• Basiswiskunde en Logica (Basic mathematics and Logic), with Arjen Sevenster. Bachelor in Computer Science, University of Amsterdam
• Introduction to Modal Logic, with  Johan van Benthem, and Umberto Grandi, Master of Logic, University of Amsterdam
• Introduction to Judgment Aggregation, ESSLLI’11 (with Gabriella Pigozzi)

2009-2010

• Dynamic Epistemic Logic (one-month course), with Johan van Benthem. Master of Logic, University of Amsterdam
• Formal and Game-theoretic Aspects of Norms (one-month course), with Stephane Airiau. Master of Logic, University of Amsterdam

2007-2008

• Introduction to AI (with L. van der Torre). Bachelor in Computer Science, University of Luxembourg
• Normative Multi-Agent Systems, EASSS�08 (with G. Boella and L. van der Torre)

2004-2006

• Working group leader of the bachelor course on Logic for Artificial Intelligence held by Prof. Jan van Eijck and Dr. Jan Broersen; Faculty of Information and Computing Sciences, Universiteit Utrecht.
• Working group leader of the master course on Commonsense Reasoning held by Prof. H. Prakken; Faculty of Information and Computing Sciences, Universiteit Utrecht.
• Working group leader of the master course on Commonsense Reasoning held by Prof. H. Prakken; Faculty of Information and Computing Sciences, Universiteit Utrecht.