We are mov­ing!

From 1st April, 2021 we will move to University of Oldenburg. Hence, we will not offer any course/seminar/thesis from the summer semester 2021 onwards. We wish you all the best!

Group Seminar

Courses in WS 2019/20

Number Courses
 L.079.05102 Modellierung
L.079.05716 Software Analysis (in English)
L.079.08015 Seminar: Software Testing (in English)

Courses in SS 2019

No further classes (sabbatical of Prof. Wehrheim)

Courses in WS 2018/19

L.079.05709Model Checking
L.079.08006Software Testing


Courses in WS 2017/18

Courses in WS 2016/17

Courses in SS 2016