Teaching

2017-2018

  • Artificial Intelligence 1, University of Groningen
  • Introduction to Logic, 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

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

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.