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

Page: