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 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 Buchin, Maike

Page: