Nummer Name Dozent
1 150324 Model Checking Zeume, Thomas
2 150262 Komplexitätstheorie Zeume, Thomas
3 150334 Automata Theory Zeume, Thomas
4 150345 Logik in der Informatik Zeume, Thomas
5 150521 Fortgeschrittene Themen des Model Checking Zeume, Thomas
6 150520 Seminar Frontiers of Theoretical Computer Science Zeume, Thomas
7 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
8 150308 Discrete Mathematics Schuster, Björn
9 150232 Number Theory Reineke, Markus
10 150116 Mathematics 4 Püttmann, Annett
11 150114 Mathematics 3 Püttmann, Annett
12 150318 Quantum Algorithms May, Alexander
13 150312 Cryptography May, Alexander
14 150310 Introduction to Theoretical Computer Science May, Alexander
15 150326 Introduction to Asymmetric Cryptanalysis May, Alexander
16 150560 Seminar zur Real World Cryptoanalysis May, Alexander
17 150110 Mathematics 1 Lipinski, Mario
18 150112 Mathematics 2 Lipinski, Mario
19 150351 Symmetric Cryptanalysis Leander, Gregor
20 150357 Boolesche Funktionen mit Anwendungen in der Kryptographie Leander, Gregor

Page: