Nummer Name Dozent
1 150345 Logik in der Informatik Zeume, Thomas
2 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
3 150520 Seminar über Grenzen in der theoretischen Informatik Zeume, Thomas
4 150334 Automata Theory Zeume, Thomas
5 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
6 150232 Number Theory Reineke, Markus
7 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
8 150310 Introduction to Theoretical Computer Science May, Alexander
9 150560 Seminar zur Real World Cryptoanalysis May, Alexander
10 150318 Quantum Algorithms May, Alexander
11 150112 Mathematics 2 Lipinski, Mario
12 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor
13 150537 Seminar zur Kryptographie Leander, Gregor
14 150539 Seminar Symetric Cryptography Leander, Gregor
15 150343 Cryptographic Protocols Kiltz, Eike
16 150320 Efficient Algorithms Kacso, Daniela
17 150353 Zero-Knowledge Proof Systems Fleischhacker, Nils
18 150332 Deep Learning Fischer , Asja
19 150322 Datenstrukturen und Algorithmen Buchin, Maike

Page: