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

Page: