CS4501 Algorithmik, Logik und Komplexität

SS 2019:

• Algorithmik, Logik und Komplexität

WS 2019/20:

• Seminar Algorithmik, Logik und Komplexität

CS4502 Parallele und verteilte Systeme

SS 2019:

• CS3051 Parallelverarbeitung
• CS4151 Systemarchitekturen für verteilte Anwendungen

WS 2019/20:

• Seminar oder Projekt

CS4503 Ambient Computing und Anwendungen

SS 2019:

• CS4670 Ambient Computing
• Seminar Ambient Computing

WS 2019/20:

• Projekt Ambient Computing

CS4504 Cyber Physical Systems

SS 2019:

• CS5153 Drahtlose Sensornetze
• Seminar Cyber Physical Systems

WS 2019/20:

• CS5150 Organic Computing

CS4505 Systemarchitektur

SS 2019:

• CS5156 Systemarchitekturen für Mulitmedia
• Seminar System Architecture

WS 2019/20:

• CS5170: Hardware/Software Co-Design

CS4506 Sicherheit von Daten und Kommunikation

SS 2019:

• CS4210 Kryptographische Protokolle

WS 2019/20:

• CS4211: Modellierung und Analyse von Sicherheitseigenschaften

CS4507 Softwareverifikation

SS 2019:

• CS4139  Runtime Verification und Testen

WS 2019/20:

• CS4138 Model Checking

CS4508 Datenmanagement

WS 2019/20:

• CS5140 Semantic Web
• CS4140 Mobile und verteilte Datenbanken
• Seminar oder Projekt Datenmangement

CS4509 Internet-Technologien

SS 2019:

• CS4151 Systemarchitekturen für verteilte Anwendungen
• Projekt Internet-Technologien

WS 2019/20:

• CS5158 Advanced Internet Technologies

CS4510 Signalanalyse

SS 2019:

• CS4220 Mustererkennung
• CS5275 Ausgewählte Methoden der Signalanalyse und -verbesserung
• CS5194 Projektpraktikum Signal- und Bildverarbeitug

WS 2019/20:

• CS5194 Projektpraktikum Signal- und Bildverarbeitung

Das Projektpraktikum kann wahlweise im SS oder im WS belegt werden.

CS4511 Lernende Systeme

SS 2019:

• CS4405 Neuroinformatik
• CS5430 Seminar Maschinelles Lernen

WS 2019/20:

• CS5450 Maschinelles Lernen

Möglicherweise wird die Veranstaltung CS5450 Maschinelles Lernen im SS 2020 angeboten.

Für Informatik-Studierende mit dem Anwendungsfach Bioinformatik wird die Lehrveranstaltung CS4405 Neuroinformatik ersetzt durch die Lehrveranstaltung CS5204 Künstliche Intelligenz 2 im Wintersemester 2019/20.

CS4512 Bildgebende Systeme und inverse Probleme

SS 2019:

• ME4413 Nuklearbildgebung
• ME4030-INF: Inverse Probleme bei der Bildgebung

WS 2019/20:

• ME4411 Computertomographie
• ME4412 Magnetresonanztomographie

CS4520 Fallstudie zur professionellen Produktentwicklung

Verschiedene Institute bieten Fallstudien an.