Our Courses and Theses

Subsequently, we list our regular courses of the past. Since Prof. Dr. Marie-Christine Jakobs moved to the LMU Munich, we no longer offer courses or theses.

Offered Courses

Title Type Term SWS ECTS
Automatic Software Verification (ASV) integrated course SS 4 6
Verification of Parallel Programs (VPP) integrated course WS 4 6
Advanced Approaches in Software Verification (AASV) seminar SS, WS 2 3


For information on bachelor or master thesis, please inspect our thesis topics .