CS4501 Algorithmics, Logic and Computational Complexity
No parts of the module will be offered in the 2025/26 winter semester. The module will be offered again in SS 26.
CS4504 Cyber Physical Systems
WS 2025/26:
- CS5150 Organic Computing
- Seminar Cyber Physical Systems
SS 2026:
- CS5153 Wireless Sensor Networks
- Seminar Cyber Physical Systems
The seminar can be taken either in the winter or summer semester.
CS4505 System Architecture
WS 2025/26:
- CS5170: Hardware/Software Co-Design
- CS3110: Computer-Aided Design of Digital Circuits
- Lab course System Architecture
SS 2026:
- Lab course System architecture
The lab course can be done at any time upon request.
CS4506 Information and Communication Security
WS 2025/26:
- CS4211 Modeling and Analysing Security
SS 2026:
- CS4210 Cryptographic Protocols
CS4507 Software Verification
WS 2025/26:
- CS4138 Model Checking
SS 2026:
- CS4139 Runtime Verification and Testing
CS4511 Learning Systems
WS 2025/26:
- CS5450 Machine Learning
- CS5430 Seminar Machine Learning
SS 2026:
- CS4405 Neuro Informatics
- CS5430 Seminar Machine Learning
The seminar can be taken either in the winter or summer semester.
CS4516 Bioinformatics and System Biology
old:
WS 2025/26:
- CS4440 Molecular Bioinformatics
- EW4170 System Biology
- MA4450 Modeling Biological Systems
new:
WS 2025/26:
- CS4440 Molecular Bioinformatics
- EW4170 System Biology
SS 2026:
- Computational and mathematical foundations for Bioinformatics
CS4517 Architectures for Distributed Communication System
WS 2025/26:
- CS5162 Mobile communication systems
- CS5164 Distributed AI
SS 2026:
- CS4151 Architectures for Distributed Applications
- Lab Architectures for distributed communication systems
Students can choose between Distributed AI and the Lab Architectures for distributed communication systems.
CS4518 Current and Future Network Technologies
WS 2025/26:
- CS5161 Nano communication networks
- Seminar Internet of Things
SS 2026:
- CS5158 Advanced Internet Technologies
- Seminar Nano communication networks
The seminar can be taken either in the summer or winter semester.
CS4521 Constructive Cognitive Science
WS 2025/26:
- Models for human intelligent Assistance
SS 2026:
- Human-Aware AI
CS4522 Common Sense Reasoning and Natural Language Understanding
WS 2025/26 recommended as part 2:
- Reasoning in Natural Language Understanding
- Lab Course Common Sense Reasoning and Natural Language Understanding