I’ll be lecturing on the following courses during the current academic year:
- Automated Reasoning (Semester 1).
I also teach the following course, which is on-hold this year due to Covid-19:
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).