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 Associate Dean of Studies.