Nummer Name Dozent
1 150345 Logik in der Informatik Zeume, Thomas
2 150343 Cryptographic Protocols Kiltz, Eike
3 150312 Cryptography Kiltz, Eike
4 150262 Komplexitätstheorie Zeume, Thomas
5 150336 Knowledge Graphs Acosta Deibe, Maribel
6 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
7 150310 Introduction to Theoretical Computer Science May, Alexander
8 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
9 150320 Efficient Algorithms Kacso, Daniela
10 150308 Discrete Mathematics Schuster, Björn
11 150332 Deep Learning Fischer , Asja
12 150322 Datenstrukturen und Algorithmen für ITS (PO 20) Buchin, Maike
13 150304 Database Systems Korthauer, Edgar
14 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor
15 150334 Automata Theory Zeume, Thomas

Page: