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 150562 Seminar Satisfiability Zeume, Thomas
6 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
7 150308 Discrete Mathematics Schuster, Björn
8 150110 Mathematics 1 Püttmann, Annett
9 150116 Mathematics 4 Püttmann, Annett
10 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
11 150310 Introduction to Theoretical Computer Science May, Alexander
12 150560 Seminar zur Real World Cryptoanalysis May, Alexander
13 150112 Mathematics 2 Lipinski, Mario
14 150114 Mathematics 3 Lipinski, Mario
15 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor
16 150537 Seminar zur Kryptographie Leander, Gregor
17 150539 Seminar Symetric Cryptography Leander, Gregor
18 150128 Mathematik 1 für Informatik und ITS (PO 20) Leander, Gregor
19 150312 Cryptography Kiltz, Eike
20 150322 Datenstrukturen und Algorithmen für ITS (PO 20) Buchin, Maike
21 150240 Theoretische Informatik Buchin, Maike

Page: