Nummer Name Dozent
1 150345 Logik in der Informatik Zeume, Thomas
2 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
3 150520 Seminar Frontiers of Theoretical Computer Science Zeume, Thomas
4 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
5 150116 Mathematics 4 Püttmann, Annett
6 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
7 150310 Introduction to Theoretical Computer Science May, Alexander
8 150560 Seminar zur Real World Cryptoanalysis May, Alexander
9 150112 Mathematics 2 Lipinski, Mario
10 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor
11 150537 Seminar zur Kryptographie Leander, Gregor
12 150539 Seminar Symetric Cryptography Leander, Gregor
13 150322 Datenstrukturen und Algorithmen für ITS (PO 20) Buchin, Maike

Page: