2020W

• Bachelor Thesis / 184.695 / PR
• Doctoral & Master Students Seminar / 181.224 / SE
• Formal Methods in Computer Science / 185.A93 / UE
• Formal Methods in Computer Science / 185.291 / VU
• Project in Computer Science 1 / 184.692 / PR
• Project in Computer Science 2 / 184.693 / PR

2021S

• Bachelor Thesis / 184.695 / PR
• Computer Aided Verification / 181.145 / VU
• Computer-Aided Verification / 181.144 / UE
• Doctoral & Master Students Seminar / 181.224 / SE
• Project in Computer Science 1 / 184.692 / PR
• Project in Computer Science 2 / 184.693 / PR
• Scientific Research and Writing / 193.052 / SE