2025S

• Introduction to Logical Methods in Computer Science / VO / 184.766
• Research Seminar LogiCS / SE / 184.767
• Project in Computer Science 1 / PR / 192.021
• Project in Computer Science 2 / PR / 192.022

2024W

• Orientation Bachelor with Honors of Informatics and Business Informatics / SE / 180.767
• Seminar for Master Students in Logic and Computation / 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
• Foundations of System and Application Security / VU / 192.044
• Seminar for PhD Students / SE / 192.060
• Bachelor Thesis / PR / 192.061
• Cryptocurrencies / VU / 192.065
• Attacks and Defenses in Computer Security / UE / 192.111
• Introduction to Cryptography / VU / 192.125
• Sustainability in Computer Science / VU / 194.155