I’ll be lecturing on the following courses during the current academic year:

I also teach the following course, although it is currently on-hold:

In the past, I’ve taught:

  • Formal Verification (2015-2018).
  • Semantic Web Systems (2015-16).
  • Informatics 2D: Reasoning and Agents (2008-2013).
  • Multi-Agents Systems and Semantic Web (2006-07).
  • Learning from Data and Coping with Incomplete Information (2000-2005).

Comments are closed.