CS4501 Algorithmik, Logik und Komplexität
Im WS 25/26 werden keine Teile des Moduls angeboten. Im SS 26 wird das Modul wieder angeboten.
Vertiefungsmodule im WS 2025/26 und SS 2026
CS4504 Cyber Physical Systems
WS 2025/26:
- CS5150 Organic Computing
- Seminar Cyber Physical Systems
SS 2026:
- CS5153 Wireless Sensor Networks (Drahtlose Sensornetze)
- Seminar Cyber Physical Systems
Das Seminar kann wahlweise im Sommer- oder Wintersemester belegt werden.
CS4505 Systemarchitektur
WS 2025/26:
- CS5170: Hardware/Software Co-Design
- CS3110: Computergestützter Schaltungsentwurf
- Praktikum Systemarchitektur
SS 2026:
- Praktikum Systemarchitektur
Das Praktikum kann auf Anfrage jederzeit gemacht werden.
CS4506 Sicherheit von Daten und Kommunikation
WS 2025/26:
- CS4211 Modellierung und Analyse von Sicherheit
SS 2026:
- CS4210 Kryptographische Protokolle
CS4507 Softwareverifikation
WS 2025/26:
- CS4138 Model Checking
SS 2026:
- CS4139 Runtime Verification und Testen
CS4508 Datenmanagement
kein Angebot im WS 25/26 und SS 26
CS4510 Signalanalyse
kein Angebot im WS 25/26
CS4511 Lernende Systeme
WS 2025/26:
- CS5450 Maschinelles Lernen
- CS5430 Seminar Maschinelles Lernen
SS 2026:
- CS4405 Neuroinformatik
- CS5430 Seminar Maschinelles Lernen
Das Seminar kann wahlweise im Sommer- oder Wintersemester belegt werden.
CS4515 Computer- und Systemsicherheit
An der Gestaltung dieses Moduls wird derzeit noch gearbeitet.
CS4516 Bioinformatik und Systembiologie
Variante alt:
WS 2025/26:
- CS4440 Molekulare Bioinformatik
- EW4170 Systembiologie
- MA4450 Modellierung biologischer Systeme
Variante neu:
WS 2025/26:
- CS4440 Molekulare Bioinformatik
- EW4170 Systembiologie
SS 2026:
- Computational and mathematical foundations for Bioinformatics
CS4517 Architekturen für verteilte Kommunikationssysteme
WS 2025/26:
- CS5162 Mobilkommunikation
- CS5164 Distributed AI
SS 2026:
- CS4151 Systemarchitekturen für verteilte Anwendungen
- Projektpraktikum Architekturen für verteilte Kommunikationssysteme
Es kann zwischen Distributed AI und dem Projektpraktikum Architekturen für verteilte Kommunikationssysteme gewählt werden.
CS4518 Aktuelle und zukünftige Netzwerktechnologien
WS 2025/26:
- CS5161 Nanonetzwerke
- Seminar Internet of Things
SS 2026:
- CS5158 Advanced Internet Technologies
- Seminar Nanonetzwerke
Das Seminar kann wahlweise im Sommer- oder Wintersemester belegt werden.
CS4520 Fallstudie zur professionellen Produktentwicklung
Verschiedene Institute bieten Fallstudien an.
CS4521 Constructive Cognitive Science
WS 2025/26:
- Models for human intelligent Assistance
SS 2026:
- Human-Aware AI
CS4522 Common Sense Reasoning und Natural Language Understanding
WS 2025/26 empfohlen als Teil 2:
- Reasoning in Natural Language Understanding
- Projektpraktikum Common Sense Reasoning and Natural Language Understanding