Nummer Name Dozent
1 150324 Model Checking Zeume, Thomas
2 150345 Logik in der Informatik Zeume, Thomas
3 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
4 150520 Seminar Frontiers of Theoretical Computer Science Zeume, Thomas
5 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
6 150308 Discrete Mathematics Schuster, Björn
7 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
8 150312 Cryptography May, Alexander
9 150310 Introduction to Theoretical Computer Science May, Alexander
10 150560 Seminar zur Real World Cryptoanalysis May, Alexander
11 150110 Mathematics 1 Lipinski, Mario
12 150112 Mathematics 2 Lipinski, Mario
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 500004 Theoretische Informatik Kiltz, Eike
18 150322 Datenstrukturen und Algorithmen für ITS (PO 20) Buchin, Maike

Page: