Nummer Name Dozent
1 310509 Concurrent Programming Arinir, Doga
2 310508 Machine Learning: Supervised Methods Glasmachers, Tobias
3 150560 Seminar zur Real World Cryptoanalysis May, Alexander
4 150539 Seminar Symetric Cryptography Leander, Gregor
5 150537 Seminar zur Kryptographie Leander, Gregor
6 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
7 150520 Seminar Frontiers of Theoretical Computer Science Zeume, Thomas
8 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor
9 150353 Zero-Knowledge Proof Systems Fleischhacker, Nils
10 150345 Logik in der Informatik Zeume, Thomas
11 150343 Cryptographic Protocols Kiltz, Eike
12 150336 Knowledge Graphs Acosta Deibe, Maribel
13 150334 Automata Theory Zeume, Thomas
14 150332 Deep Learning Fischer , Asja
15 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
16 150322 Datenstrukturen und Algorithmen für ITS (PO 20) Buchin, Maike
17 150320 Efficient Algorithms Kacso, Daniela
18 150318 Quantum Algorithms May, Alexander
19 150310 Introduction to Theoretical Computer Science May, Alexander
20 150262 Komplexitätstheorie Zeume, Thomas

Page: