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 150312 Cryptography Kiltz, Eike
10 150343 Cryptographic Protocols Kiltz, Eike
11 150306 Post quantum cryptography Kiltz, Eike
12 150304 Database Systems Korthauer, Edgar
13 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor
14 150537 Seminar zur Kryptographie Leander, Gregor
15 150539 Seminar Symetric Cryptography Leander, Gregor
16 150128 Mathematik 1 für Informatik und ITS (PO 20) Leander, Gregor
17 150351 Symmetric Cryptanalysis Leander, Gregor
18 150112 Mathematics 2 Lipinski, Mario
19 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
20 150310 Introduction to Theoretical Computer Science May, Alexander
21 150560 Seminar zur Real World Cryptoanalysis May, Alexander
22 150318 Quantum Algorithms May, Alexander
23 150110 Mathematics 1 Püttmann, Annett
24 150232 Number Theory Reineke, Markus
25 150308 Discrete Mathematics Schuster, Björn
26 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
27 150324 Model Checking Zeume, Thomas
28 150345 Logik in der Informatik Zeume, Thomas
29 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
30 150520 Seminar Frontiers of Theoretical Computer Science Zeume, Thomas
31 150562 Seminar Satisfiability Zeume, Thomas
32 150262 Komplexitätstheorie Zeume, Thomas
33 150334 Automata Theory Zeume, Thomas

Page: