CS4501 Algorithmik, Logik und Komplexität
SS 2026:
- Algorithmik, Logik und Komplexität
- Seminar Algorithmik, Logik und Komplexität
Vertiefungsmodule im SS 2026 und WS 2026/27
CS4503 Ambient Computing und Anwendungen
SS 2026 Teil 1:
- CS4670: Ambient Computing
- Seminar Ambient Computing
WS 2026/27 nur Teil 2:
- Projekt Ambient Computing
CS4504 Cyber Physical Systems
Das Angebot ist noch nicht bestätigt.
CS4505 Systemarchitektur
Das Angebot ist noch nicht bestätigt.
CS4506 Sicherheit von Daten und Kommunikation
SS 2026:
- CS4210 Kryptographische Protokolle
WS 2026/27:
- CS4211 Modellierung und Analyse von Sicherheit
CS4507 Softwareverifikation
SS 2026:
- CS4139 Runtime Verification und Testen
WS 2026/27:
- CS4138 Model Checking
CS4508 Datenmanagement
kein Angebot im SS 26 und WS 26/27
CS4510 Signalanalyse
kein Angebot im SS 26
CS4511 Lernende Systeme
SS 2026:
- CS4405 Neuroinformatik
- CS5430 Seminar Maschinelles Lernen
WS 2026/27:
- CS5450 Maschinelles Lernen
- CS5430 Seminar Maschinelles Lernen
Das Seminar kann wahlweise im Winter- oder Sommersemester belegt werden.
CS4515 Computer- und Systemsicherheit
SS 2026 Teil 1:
- CS4702 Computer Security
WS 2026/27 nur Teil 2:
- CS4704 Fortgeschrittene Methoden der Systemsicherheitsforschung
CS4516 Bioinformatik und Systembiologie
SS 2026:
- MA???? Fortgeschrittene algorithmische und mathematische Konzepte der Molekularbiologie
WS 2026/27:
- CS4440 Molekulare Bioinformatik
- EW4170 Systembiologie
CS4517 Architekturen für verteilte Kommunikationssysteme
SS 2026:
- CS4151 Systemarchitekturen für verteilte Anwendungen
- Projektpraktikum Architekturen für verteilte Kommunikationssysteme
WS 2026/27:
- CS5162 Mobilkommunikation
- CS5164 Distributed AI
Es kann zwischen Distributed AI und dem Projektpraktikum Architekturen für verteilte Kommunikationssysteme gewählt werden.
CS4518 Aktuelle und zukünftige Netzwerktechnologien
SS 2026:
- CS5158 Advanced Internet Technologies
- Seminar Nanonetzwerke
WS 2026/27:
- CS5161 Nanonetzwerke
- Seminar Internet of Things
Das Seminar kann wahlweise im Winter- oder Sommersemester belegt werden.
CS4520 Fallstudie zur professionellen Produktentwicklung
Verschiedene Institute bieten Fallstudien an.
CS4521 Constructive Cognitive Science
SS 2026:
- Human-Aware AI
WS 2026/27:
- Models for human intelligent Assistance
CS4522 Common Sense Reasoning und Natural Language Understanding
SS 2026 Teil 1:
- Knowledge Representation and Common Sense Reasoning
WS 2026/27 nur Teil 2:
- Reasoning in Natural Language Understanding
- Projektpraktikum Common Sense Reasoning and Natural Language Understanding
CS4523 Informationssicherheit und Kryptografie
SS 2026:
- CS4703 Advanced Cryptology
WS 2026/27:
- CS4701 Kommunikations- und Systemsicherheit