Nummer Name Dozent
1 150345 Logik in der Informatik Zeume, Thomas
2 150343 Cryptographic Protocols Kiltz, Eike
3 150336 Knowledge Graphs Acosta Deibe, Maribel
4 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
5 150310 Introduction to Theoretical Computer Science May, Alexander
6 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
7 150320 Efficient Algorithms Kacso, Daniela
8 150332 Deep Learning Fischer , Asja
9 150322 Datenstrukturen und Algorithmen für ITS (PO 20) Buchin, Maike
10 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor

Page: