2023S

• 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 Security / VU / 184.783
• Selected Topics in Information Security / VU / 188.985
• Fundamentals of Security and Privacy / VU / 191.124
• Formal Methods for Security and Privacy / VU / 192.059
• Seminar for PhD Students / SE / 192.060
• Bachelor Thesis / PR / 192.061
• Project in Computer Science 1 / PR / 192.075
• Project in Computer Science 2 / PR / 192.076
• Crypto Asset Analytics / VU / 192.080
• Introduction to Security / UE / 192.082
• Advanced Cryptography / VU / 192.115
• Scientific Research and Writing / SE / 193.052

2022W

• 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
• Seminar for PhD Students / SE / 192.060
• Bachelor Thesis / PR / 192.061
• Cryptocurrencies / VU / 192.065
• Project in Computer Science 1 / PR / 192.075
• Project in Computer Science 2 / PR / 192.076
• Attacks and Defenses in Computer Security / UE / 192.111
• Systems and Applications Security / VU / 192.112
• Introduction to Cryptography / VU / 192.125