2024S

• Introduction to Logical Methods in Computer Science / VO / 184.766
• Research Seminar LogiCS / SE / 184.767

2023W

• Orientation Bachelor with Honors of Informatics and Business Informatics / SE / 180.767
• Seminar for Master Students in Logic and Computation / SE / 180.773
• Seminar for Master Students in Software Engineering & Internet Computing / SE / 180.777
• 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
• Cryptocurrencies / VU / 192.065
• Attacks and Defenses in Computer Security / UE / 192.111
• Introduction to Cryptography / VU / 192.125