Lehrangebot Wintersemester 2025/2026 - Studiengang Master Computer Science, PO 2025

02.08.2025

Wahlpflichtmodule Fachgebiet Theoretical Computer Science and Symbolic Artificial Intelligence

INF-25-Ma-FTK-APSS Advanced Problem Solving and Search

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Advanced Problem Solving and Search 2/2/0 englisch Dr. Gaggl Künstliche Intelligenz

INF-25-Ma-FTK-ASAI Advanced Symbolic Artificial Intelligence

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Advanced Algorithms 4/2/0 englisch Prof. Dr. Kozma Theoretische Informatik
Foundations of Knowledge Representation 2/2/0 englisch Dr. habil. Straß Künstliche Intelligenz
Foundations of Logic Programming 2/0/0 englisch Dr. habil. Straß Künstliche Intelligenz
Introduction to Existential Rules 2/2/0 englisch Prof. Rudolph Künstliche Intelligenz
Modal Logic 2/2/0 englisch Dr. Piribauer Theoretische Informatik
Proof Theory and Sequent Systems 2/0/0 englisch Dr. Lyon Künstliche Intelligenz

INF-25-Ma-FTK-CT Complexity Theory

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Complexity Theory 4/2/0 englisch Prof. Krötzsch, Dr. Mennicke Theoretische Informatik
Knowledge Graphs 2/2/0 englisch Prof. Krötzsch Theoretische Informatik

INF-25-Ma-FTK-MC Model Checking

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Model Checking 4/4/0 englisch Prof. Baier, Dr. Klüppelholz Theoretische Informatik

Wahlpflichtmodule Fachgebiet Software Technology and Programming Languages

INF-25-Ma-FSP-CB Compilerbau

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Forschungspraktikum Compilerbau 8P/PB deutsch/englisch Prof. Castrillon-Mazo Technische Informatik

INF-25-Ma-FSP-DPF Design Patterns and Frameworks

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Design Patterns and Frameworks 2/2/0 englisch Dr. Götz Software- und Multimediatechnik

INF-25-Ma-FSP-FCPL Foundations of Certified Programming Language and Compiler Design

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Foundations of Certified Programming Language and Compiler Design 2/2/0 englisch Prof. Castrillon-Mazo, Dr. Ertel Technische Informatik

Wahlpflichtmodule Fachgebiet Secure Computing

Wahlpflichtmodule Fachgebiet Systems Architecture

INF-25-Ma-FSA-Dec Decentralized Systems

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Blockchain Technologies 2/2/0 englisch Prof. Tschorsch Systemarchitektur

INF-25-Ma-FSA-DS Distributed Systems

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Distributed Systems 2/2/0 englisch Dr. Springer Systemarchitektur

INF-25-Ma-FSA-EAMA Engineering Adaptive Mobile Applications

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Engineering Adaptive Mobile Applications 2/2/0 englisch Dr. Springer Systemarchitektur

INF-25-Ma-FSA-IM Internet Measurements

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Internet Measurements 2/2/0 deutsch Prof. Wählisch Systemarchitektur

INF-25-Ma-FSA-IoT IoT Communication

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
IoT Communication 2/0/0 englisch Dr. Dargie, Prof. Wählisch Software- und Multimediatechnik

INF-25-Ma-FSA-MOS Microkernel-Based Operating Systems

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Mikrokernbasierte Betriebssysteme 2/4/0 englisch Dr.-Ing. Roitzsch, Prof. Dr. Schirmeier Systemarchitektur

INF-25-Ma-FSA-PET Prediction and Estimation Techniques

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Prediction and Estimation Techniques 2/2/0 englisch Dr. Dargie Software- und Multimediatechnik

INF-25-Ma-FSA-RNA Advanced Computer Networks

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Advanced Computer Networks 2/2/0 englisch Prof. Wählisch Systemarchitektur

INF-25-Ma-FSA-SCC Service and Cloud Computing

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Service and Cloud Computing 2/2/0 deutsch Dr. Braun Systemarchitektur

INF-25-Ma-FSA-SDE Scalable Data Engineering

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Scalable Data Engineering 2/2/0 englisch Prof. Lehner, Dr. Hartmann Systemarchitektur

INF-25-Ma-FSA-SDM Scalable Data Management

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Scalable Data Management 2/2/0 englisch Prof. Habich Systemarchitektur

Wahlpflichtmodule Fachgebiet Cyber-Physical Systems

INF-25-Ma-FCP-CPS Foundations of Cyber Physical Systems

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Informatik-Anwendungen in der Automation 1/1/0 deutsch Prof. Wollschlaeger Angewandte Informatik
Network Simulation (NwSim) 1/1/0 deutsch/englisch Prof. Sommer Angewandte Informatik

INF-25-Ma-FCP-CPSM.Lab1 Cyber-Physical Systems Modeling Lab

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Komplexpraktikum "Networked Systems Modeling" (PR-NSM) 0/0/4 deutsch/englisch Dr.-Ing. Hensel, Prof. Sommer Angewandte Informatik

INF-25-Ma-FCP-CPSM.Lab2 Cyber-Physical Systems Modeling Lab Advanced

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Komplexpraktikum "Cooperative Networked Systems" (PR-CNS) 0/0/4 deutsch/englisch Prof. Sommer Angewandte Informatik

INF-25-Ma-FCP-EMIN Engineering and Management of Industrial Networks

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Engineering industrieller Kommunikationssysteme 2/0/0 deutsch Prof. Wollschlaeger Angewandte Informatik
Netzwerkmanagement in industriellen Anwendungen 2/0/0 deutsch Prof. Wollschlaeger Angewandte Informatik

INF-25-Ma-FCP-ICPS.Lab Industrial Cyber-Physical Systems Lab

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Komplexpraktikum Cyber Physical Systems 0/0/4 deutsch Prof. Wollschlaeger Angewandte Informatik

INF-25-Ma-FCP-IIoT Industrial Internet of Things

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Internet of Things in der Automation 2/0/0 deutsch Dr.-Ing. Hilbert Angewandte Informatik
Softwareaspekte des Industrial Internet of Things 1/1/0 deutsch Prof. Wollschlaeger Angewandte Informatik

Wahlpflichtmodule Fachgebiet Visual Computing and Machine Learning

INF-25-Ma-FVC-FCG Foundations of Computer Graphics

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Computergraphik I 2/2/0 englisch Prof. Gumhold Software- und Multimediatechnik

Wahlpflichtmodule Fachgebiet Human-Computer Interaction and Interactive Media

INF-25-Ma-FHI-UIE User Interface Engineering

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
User Interface Engineering 2/2/0 deutsch/englisch Prof. Dachselt, Dr. Rzayev Software- und Multimediatechnik

Wahlpflichtmodule Fachgebiet Computer Engineering and High Performance Computing

INF-25-Ma-FTI-EPA Efficient Parallel Algorithms

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Effiziente parallele Algorithmen 2/2/0 deutsch Prof. Nagel Technische Informatik

INF-25-Ma-FTI-ETI Introduction to Computer Engineering

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Einführung in die Technische Informatik 4/2/2 deutsch Prof. Nagel, Prof. Castrillon-Mazo, Prof. Göhringer, Dr. Märcker Technische Informatik

INF-25-Ma-FTI-HPC High Performance Computing

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
High Performance Computing 2/2/0 englisch Prof. Nagel Technische Informatik

INF-25-Ma-FTI-HPGPU Highly Parallel Programming of GPUs

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Highly Parallel Programming of GPUs 2/2/0 englisch Prof. Nagel Technische Informatik

INF-25-Ma-FTI-PACS Performance Analysis of Computing Systems

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Performance Analysis of Computing Systems 2/2/0 englisch Prof. Nagel, Dr. Brunst Technische Informatik

Ergänzung

INF-25-Ma-AFT Analyse eines Forschungsthemas

nach oben
Lehrveranstaltung SWS Sprache Dozent Institut
Analyse eines Forschungsthemas: Adaptive Dynamische Systeme Projekte (40 Stunden) deutsch/englisch Prof. Göhringer Technische Informatik
Analyse eines Forschungsthemas: Algebraische und logische Grundlagen der Informatik Projekte (40 Stunden) deutsch/englisch Prof. Baier Theoretische Informatik
Analyse eines Forschungsthemas: Automatentheorie Projekte (40 Stunden) deutsch/englisch Prof. Baader Theoretische Informatik
Analyse eines Forschungsthemas: Betriebssysteme Projekte (40 Stunden) deutsch/englisch Prof. Dr. Schirmeier Systemarchitektur
Analyse eines Forschungsthemas: Compilerbau Projekte (40 Stunden) deutsch/englisch Prof. Castrillon-Mazo Technische Informatik
Analyse eines Forschungsthemas: Computational Logic Projekte (40 Stunden) deutsch/englisch Prof. Rudolph Künstliche Intelligenz
Analyse eines Forschungsthemas: Datenbanken Projekte (40 Stunden) deutsch/englisch Prof. Lehner Systemarchitektur
Analyse eines Forschungsthemas: Didaktik der Informatik Projekte (40 Stunden) deutsch/englisch Prof. Dr. Grillenberger Software- und Multimediatechnik
Analyse eines Forschungsthemas: Distributed and Networked Systems Projekte (40 Stunden) deutsch/englisch Prof. Wählisch Systemarchitektur
Analyse eines Forschungsthemas: Gestaltung immersiver Medien Projekte (40 Stunden) deutsch/englisch Jun.-Prof. McGinity Software- und Multimediatechnik
Analyse eines Forschungsthemas: Machine Learning for Robotics Projekte (40 Stunden) deutsch/englisch Prof. Dr. Calandra Künstliche Intelligenz
Analyse eines Forschungsthemas: Maschinelles Lernen für Computer Vision Projekte (40 Stunden) deutsch/englisch Prof. Dr. Andres Künstliche Intelligenz
Analyse eines Forschungsthemas: Maschinelles Lernen für das Räumliche Verständnis Projekte (40 Stunden) deutsch/englisch Prof. Dr. Weigert Künstliche Intelligenz
Analyse eines Forschungsthemas: Mensch-Computer Interaktion Projekte (40 Stunden) deutsch/englisch Prof. Weber Angewandte Informatik
Analyse eines Forschungsthemas: Multimedia-Technologie Projekte (40 Stunden) deutsch/englisch Prof. Dachselt Software- und Multimediatechnik
Analyse eines Forschungsthemas: Privacy and Security Projekte (40 Stunden) deutsch/englisch Prof. Tschorsch Systemarchitektur
Analyse eines Forschungsthemas: Prozesskommunikation Projekte (40 Stunden) deutsch/englisch Prof. Wollschlaeger Angewandte Informatik
Analyse eines Forschungsthemas: Prozessmodellierung für vernetzte technische Systeme Projekte (40 Stunden) deutsch/englisch Prof. Sommer Angewandte Informatik
Analyse eines Forschungsthemas: Rechnerarchitektur Projekte (40 Stunden) deutsch/englisch Prof. Nagel Technische Informatik
Analyse eines Forschungsthemas: Rechnergestützte Systemwissenschaften Projekte (40 Stunden) deutsch/englisch Prof. Dr. Kühne Künstliche Intelligenz
Analyse eines Forschungsthemas: Skalierbare Software-Architekturen für Data Analytics Projekte (40 Stunden) deutsch/englisch Prof. Dr. Färber Technische Informatik
Analyse eines Forschungsthemas: Softwaretechnologie Projekte (40 Stunden) deutsch/englisch Prof. Aßmann Software- und Multimediatechnik
Analyse eines Forschungsthemas: Systems Engineering Projekte (40 Stunden) deutsch/englisch Prof. Fetzer Systemarchitektur
Analyse eines Forschungsthemas: Wissensbasierte Künstliche Intelligenz Projekte (40 Stunden) deutsch/englisch Prof. Dr. Razniewski Künstliche Intelligenz
Analyse eines Forschungsthemas: Wissensbasierte Systeme Projekte (40 Stunden) deutsch/englisch Prof. Krötzsch Theoretische Informatik
Analyse eines Forschungsthemas: Wissenschaftliches Rechnen für Systembiologie Projekte (40 Stunden) deutsch/englisch Prof. Sbalzarini Künstliche Intelligenz
Data Management Research Seminar 0/2/0 deutsch/englisch Prof. Lehner Systemarchitektur
Hauptseminar Service and Cloud Computing 0/2/0 deutsch/englisch Dr. Braun Systemarchitektur

Anmerkungen

nach oben

Tag/Raum

  • ZVZ ... zur vereinbarten Zeit
  • AVO ... am vereinbarten Ort

Wochen

  • wöch. ... wöchentlich
  • 1. Wo ... ungerade Kalenderwoche
  • 2. Wo ... gerade Kalenderwoche

Semester im Sinne der Prüfungsordnung. Die Module werden mit dem jeweiligen Fachsemester ausgewiesen, in dem sie beginnen - Mehrsemestrige Module werden demzufolge mit einem ggf. niedrigeren Fachsemester ausgewiesen als die Studierenden tatsächlich sind..

Master-Niveau Die Lehrveranstaltung ist an Master- bzw. Diplomstudenten im Hauptstudium gerichtet. Diese Angebot ist optional und nur für fortgeschrittene Studenten empfohlen.

Module Zusätzlich zu den Modulen aus Bachelor/Master/Diplom Informatik, Medieninformatik und Informationssystemtechnik gibt es noch folgende Module für andere Studiengänge

  • MCL-* ... Master Computational Logic
  • DSE-10* ... Master Distributed Systems Engineering (PO 2010)
  • DSE-14* ... Master Distributed Systems Engineering (PO 2014)
  • INF-LA* ... Bachelor/Master Lehramt
  • INF-SE* ... Staatsexamen Lehramt (Gymnasium, Mittelschule, berufsbildende Schulen)

und folgende Pseudo-Module für ältere Studiengänge und Sonstiges

  • INF-04* ... Diplom Informatik, Prüfungs-/ Studienordnung 2004
  • MINF-04* ... Diplom Medieninformatik, Prüfungs-/ Studienordnung 2004
  • IST-05* ... Diplom Informationssystemtechnik, Prüfungs-/ Studienordnung 2005-2010
  • INF-LE* ... Lehrexport an andere Fakultäten/Fachbereiche
  • FAK-INF-FF ... Fakultative Lehrveranstaltungen für alle Studierende an der Fakultät Informatik

Prüfungen Art und Dauer von Prüfungsleistungen sind den Modulbeschreibungen zu entnehmen. Ausnahmen hierfür sind die Module INF-AQUA, INF-B-510/20/30/40, INF-B-610 und INF-D-940 - hier wird die Prüfungsform der jeweiligen Lehrveranstaltung explizit angegeben. Mögliche Prüfungsformen sind:

  • Seminararbeit und Präsentation
  • P(m) ... mündliche Prüfung im angegebenen Umfang
  • P(s) ... schriftliche Prüfung im angegebenen Umfang
  • P(PP) ... Praktikumsprotokoll
  • P(sA) ... schriftliche Ausarbeitung
  • P(PA) ... Projektarbeit
  • P(PE) ... bewertbares Ergebnis des Praktikums

Lehrangebot Wintersemester 2025/2026 - Studiengang Master Computer Science, PO 2025