Teaching

Here you find information about the courses I teach as well as bachelor and master projects of the Computational Logic group.

There is a separate page with information stemming from my position as Studienbeauftragter für Informatik.