I am usually involved in the following courses (more information on Blackboard):

  • IN4010TU Artificial Intelligence Techniques
  • TI1906 Logic Based Artificial Intelligence

In the past I have (co)-taught many courses on topics such as multi-agent systems, non-monotonic logics, temporal logics, artificial intelligence, and negotiation.