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

Page: