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

Page: