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 142025 Bachelor Practical Wireless Physical Layer Security Zenger, Christian
7 140000 Tutorial Tutoren
8 150136 Mathematik 2 für Informatik und ITS (PO 20) Stump, Christian
9 141218 System Theory 2: Signal Transformations Sezgin, Aydin
10 142240 Practical Course Fundamentals of IT Security Schwenk, Jörg
11 143241 Bachelor Seminar Network and Data Security Schwenk, Jörg
12 142242 Bachelor Project Network and Data Security Schwenk, Jörg
13 142244 Bachelor Practical Course Hacking Techniques Schwenk, Jörg
14 141242 Network Security 1 Schwenk, Jörg
15 141243 Network Security 2 Schwenk, Jörg
16 142245 Practical Course TLS Implementation Schwenk, Jörg
17 150308 Discrete Mathematics Schuster, Björn
18 141024 Implementation of Cryptographic Schemes Schellenberg, Falk
19 142362 Practical Research Course Human-Centred Security Sasse, Martina Angela
20 143249 Bachelor-Seminar Human Centered Security and Privacy Sasse, Martina Angela

Page: