Nummer Name Dozent
1 150324 Model Checking Zeume, Thomas
2 150562 Seminar Satisfiability Zeume, Thomas
3 150308 Discrete Mathematics Schuster, Björn
4 150110 Mathematics 1 Püttmann, Annett
5 211006 Praktikum zur Kryptanalyse May, Alexander
6 150560 Seminar zur Real World Cryptoanalysis May, Alexander
7 150128 Mathematik 1 für Informatik und ITS (PO 20) Leander, Gregor
8 150312 Cryptography Kiltz, Eike
9 150302 Theoretische Informatik Buchin, Maike

Page: