2026W

• Seminar for Master Students in Software Engineering (Foundations, Logic, and Security) Areas: Algorithms and Complexity; Verification and Automated Reasoning; Logic and Knowledge Representation; Security and Privacy / SE / 180.010
• Seminar for Master Students in Logic and Artificial Intelligence / SE / 180.773
• Introduction to Logical Methods in Computer Science / VO / 184.766
• Research Seminar LogiCS / SE / 184.767
• Introduction to Programming 1 / VU / 185.A91
• Project in Computer Science 1 / PR / 192.021
• Project in Computer Science 2 / PR / 192.022
• Seminar for PhD Students / SE / 192.060
• Bachelor Thesis / PR / 192.061
• Attacks and Defenses in Computer Security / UE / 192.111
• Introduction to Cryptography / VU / 192.125
• Machine Learning for Computer Security / VU / 192.172
• Explainable AI / VU / 192.217
• Introduction to Blockchain Technologies / VU / 192.220
• Advanced Topics in Blockchain Technologies / VU / 192.221
• Scientific Research and Writing / SE / 193.052
• Sustainability in Computer Science / VU / 194.155

2027S

• Project in Computer Science 1 / PR / 192.021
• Project in Computer Science 2 / PR / 192.022