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