Nummer Name Dozent
1 150324 Model Checking Zeume, Thomas
2 150345 Logik in der Informatik Zeume, Thomas
3 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
4 150520 Seminar über Grenzen in der theoretischen Informatik Zeume, Thomas
5 150262 Komplexitätstheorie Zeume, Thomas
6 150334 Automata Theory Zeume, Thomas
7 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
8 150308 Discrete Mathematics Schuster, Björn
9 150232 Number Theory Reineke, Markus
10 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
11 150312 Cryptography May, Alexander
12 150310 Introduction to Theoretical Computer Science May, Alexander
13 150560 Seminar zur Real World Cryptoanalysis May, Alexander
14 150318 Quantum Algorithms May, Alexander
15 150110 Mathematics 1 Lipinski, Mario
16 150112 Mathematics 2 Lipinski, Mario
17 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor
18 150537 Seminar zur Kryptographie Leander, Gregor
19 150539 Seminar Symetric Cryptography Leander, Gregor
20 150128 Mathematik 1 für Informatik und ITS (PO 20) Leander, Gregor
21 150351 Symmetric Cryptanalysis Leander, Gregor
22 150304 Database Systems Korthauer, Edgar
23 500004 Theoretische Informatik Kiltz, Eike
24 150343 Cryptographic Protocols Kiltz, Eike
25 150306 Post quantum cryptography Kiltz, Eike
26 150320 Efficient Algorithms Kacso, Daniela
27 150277 Public Key Encoding Fleischhacker, Nils
28 150332 Deep Learning Fischer , Asja
29 150322 Datenstrukturen und Algorithmen Buchin, Maike
30 150240 Theoretical Computer Science Buchin, Maike
31 150542 Seminar on Knowledge Graphs Acosta Deibe, Maribel

Page: