Teaching

2021S

• Orientation Bachelor with Honors of Informatics and Business Informatics / SE / 180.767
• Seminar for Master Students in Logic and Computation / SE / 180.773
• Research Seminar LogiCS / SE / 184.767
• Introduction to Security / VU / 184.783
• 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

2020W

• Orientation Bachelor with Honors of Informatics and Business Informatics / SE / 180.767
• Research Seminar LogiCS / SE / 184.767
• Bachelor Thesis / PR / 192.061
• Cryptocurrencies / VU / 192.065
• Seminar for PhD Students / SE / 192.069
• Project in Computer Science 1 / PR / 192.075
• Project in Computer Science 2 / PR / 192.076
• Introduction to Cryptography / VO / 192.107
• Introduction to Cryptography / UE / 192.108
• Attacks and Defenses in Computer Security / UE / 192.111
• Systems and Applications Security / VU / 192.112