CS4501 Algorithmics, Logic and Complexity
WS 2024/25 part 2 only:
- Seminar Algorithmics, Logic and Complexity
CS4503 Ambient Computing and Applications
WS 2024/25 only part 2:
- Project Ambient Computing
CS4504 Cyber Physical Systems
WS 2024/25:
- CS5150 Organic Computing
- Seminar Cyber Physical Systems
SS 2025:
- CS5153 Wireless Sensor Networks (Wireless Sensor Networks)
- Seminar Cyber Physical Systems
The seminar can be taken either in the summer or winter semester.
CS4505 System Architecture
WS 2024/25:
- CS5170: Hardware/software co-design
- CS3110: Computer-aided circuit design
- Practical course in system architecture
SS 2025:
- Practical course in system architecture
The practical course can be taken at any time on request.
CS4506 Security of data and communication
WS 2024/25:
- CS4211 Modeling and analysis of security
SS 2025:
- CS4210 Cryptographic protocols
CS4507 Software Verification
WS 2024/25:
- CS4138 Model Checking
SS 2025:
- CS4139 Runtime Verification and Testing
CS4508 Data Management
The module cannot be offered in the next two semesters.
CS4509 Internet structures and protocols
Will no longer be offered
CS4510 Signal Analysis
WS 2024/25:
- CS5194 Project internship
The offer for SS 2025 has not been clarified.
CS4511 Learning systems
WS 2024/25:
- CS5450 Machine Learning
- CS5430 Seminar Machine Learning
SS 2025:
- CS4405 Neuroinformatics
- CS5430 Seminar Machine Learning
The seminar Machine Learning (CS5430) can be taken either in the summer or winter semester.
CS4514 Intelligent Agents
WS 2024/25:
- Intelligent Agents
- Project internship Intelligent Agents
CS4515 Computer and system security
WS 2024/25:
- CS4701 Communication and system security
SS 2025:
- CS4702 Computer Security
CS4516 Bioinformatics and Systems Biology
WS 2024/25:
- CS4440 Molecular Bioinformatics
- MA4450 Modeling of Biological Systems
- EW4170 Systems Biology
CS4517 Architectures for Distributed Communication Systems
WS 2024/25:
- CS5162 Mobile Communication
- Practical Project Architectures for Distributed Communication Systems
SS 2025:
- CS4151 System architectures for distributed applications
CS4518 Current and future network technologies
WS 2024/25:
- CS5161 Nanonetworks
- Seminar Internet of Things
SS 2025:
- CS5158 Advanced Internet Technologies (changed on 3.3.2025)
- Seminar Nanonetworks
The seminar can be taken either in the summer or winter semester.
CS4520 Case study on professional product development
Various institutes offer case studies.
CS4521 Constructive Cognitive Science
WS 2024/25:
- Models for human intelligent assistance
SS 2025:
- Human-Aware AI
CS4522 Common Sense Reasoning and Natural Language Understanding
WS 2024/25 Part 2:
- Reasoning in Natural Language Understanding
- Practical project Common Sense Reasoning and Natural Language Understanding