Teaching Activities
Local coordinator of the European Masters Program in Computational Logic (EMCL)
Courses within MSc and BSc programmes
- Computational Logic, lecturer spring 2011
- 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