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

Page: