Previous Teaching activities

In 2001 I was responsible for the exercise sessions of Prof. Menzels course on computability at the University of Karlsruhe. Exercises and solutions (in German) are online here.

I gave an intensive graduate course on aspect oriented programming at Chalmers University, Gothenburg, in September 2003.

In the winter semester 2006/2007 I gave a course on `practical software engineering' (Praktische Softwaretechnologie) at the university of Linz, for which there is a German web page.

In Spring 2008, I taught a course on logic.

Since 2008, I am leading the logic seminar at the dept. of computer science.

Since 2010, I give an annual bachelor/master level course on semantic technologies at the dept. of computer science.