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

Page: