Teaching Activities
Local coordinator of the European Masters Program in Computational Logic (EMCL)
Courses within MSc and BSc programmes
- Integrated Logic Systems, lecturer spring 2014
- Computational Logic, lecturer spring 2011-spring 2013
- Introduction to Artificial Intelligence, lecturer 2003-2009
- Non-monotonic Logics, lecturer (part of the Non-classical Logics course) 2007 and 2008
- Semantic Web Technologies, teaching assistent 2009
- XML and Semi-structured Databases, teaching assistent 2007 and 2008