Univ.-Prof. Dr. Aart Middeldorp   

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 former position as Studienbeauftragter für Informatik. That page is no longer maintained.