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

Page: