2019W

• Formal Methods in Computer Science / VU / 185.291

2020S

• Bachelor Thesis / PR / 184.695
• Computer Aided Verification / VU / 181.145
• Computer-Aided Verification / UE / 181.144
• Doctoral & Master Students Seminar / SE / 181.224
• Formal Methods in Computer Science / VU / 185.291
• Project in computational logic / PR / 181.222
• Project in Computer Science 1 / PR / 184.692
• Project in Computer Science 2 / PR / 184.693
• Project in Software Engineering & Internet Computing / PR / 184.697
• Scientific Research and Writing / SE / 193.052
• Seminar Formal Methods / SE / 181.221