CS4501 Algorithmics, Logic and Computational Complexity
SS 2026:
- Algorithmics, Logic and Computational Complexity
- Seminar Algorithmics, Logic and Computational Complexity
CS4503 Ambient Computing and Applications
SS 2026 Part 1:
- CS4670: Ambient Computing
- Seminar Ambient Computing
WS 2026/27 only Part 2:
- Lab course Ambient Computing
CS4506 Information and Communication Security
SS 2026:
- CS4210 Cryptographic Protocols
WS 2026/27:
- CS4211 Modeling and Analysing Security
CS4507 Software Verification
SS 2026:
- CS4139 Runtime Verification and Testing
WS 2026/27:
- CS4138 Model Checking
CS4511 Learning Systems
SS 2026:
- CS4405 Neuro Informatics
- CS5430 Seminar Machine Learning
WS 2026/27:
- CS5450 Machine Learning
- CS5430 Seminar Machine Learning
The seminar can be taken either in the winter or summer semester.
CS4515 Computer and System Security
SS 2026 Part 1:
- CS4702 Computer Security
WS 2026/27 only Part 2:
- CS4704 Advanced Methods in System Security Research
CS4516 Bioinformatics and System Biology
SS 2026:
- MA???? Advanced Algorithmic and Mathematical Concepts for Molecular Biology
WS 2026/27:
- CS4440 Molecular Bioinformatics
- EW4170 System Biology
CS4517 Architectures for Distributed Communication System
SS 2026:
- CS4151 Architectures for Distributed Applications
- Lab Architectures for distributed communication systems
WS 2026/27:
- CS5162 Mobile communication systems
- CS5164 Distributed AI
Students can choose between Distributed AI and the Lab Architectures for distributed communication systems.
CS4518 Current and Future Network Technologies
SS 2026:
- CS5158 Advanced Internet Technologies
- Seminar Nano communication networks
WS 2026/27:
- CS5161 Nano communication networks
- Seminar Internet of Things
The seminar can be taken either in the winte or summer semester.
CS4521 Constructive Cognitive Science
SS 2026:
- Human-Aware AI
WS 2026/27:
- Models for human intelligent Assistance
CS4522 Common Sense Reasoning and Natural Language Understanding
SS 2026 Part 1:
- Knowledge Representation and Common Sense Reasoning
WS 2026/27 only Part 2:
- Reasoning in Natural Language Understanding
- Practical Project Common Sense Reasoning and Natural Language Understanding
CS4523 Information Security and Cryptography
SS 2026:
- CS4703 Advanced Cryptology
WS 2026/27:
- CS4701 Communication and System Security