Contents
Wahlpflichtmodule Fachgebiet Theoretical Computer Science and Symbolic Artificial Intelligence
INF-25-Ma-FTK-APSS Advanced Problem Solving and Search INF-25-Ma-FTK-ASAI Advanced Symbolic Artificial Intelligence INF-25-Ma-FTK-CT Complexity Theory INF-25-Ma-FTK-KM Knowledge Models INF-25-Ma-FTK-MC Model Checking
Wahlpflichtmodule Fachgebiet Software Technology and Programming Languages
INF-25-Ma-FSP-CB Compilerbau INF-25-Ma-FSP-DPF Design Patterns and Frameworks INF-25-Ma-FSP-FCPL Foundations of Certified Programming Language and Compiler Design INF-25-Ma-FSP-FPSS Future-Proof Software Systems INF-25-Ma-FSP-FSWT Advanced Software Engineering INF-25-Ma-FSP-MOST Model-Driven Software Development in Technical Spaces INF-25-Ma-FSP-RETE Requirements and Test Management INF-25-Ma-FSP-SESAC Self-Adaptive Software and Cobotics
Wahlpflichtmodule Fachgebiet Secure Computing
INF-25-Ma-FSC-SFT.Lab Software Fault Tolerance Lab
Wahlpflichtmodule Fachgebiet Systems Architecture
INF-25-Ma-FSA-Dec Decentralized Systems INF-25-Ma-FSA-DS Distributed Systems INF-25-Ma-FSA-EAMA Engineering Adaptive Mobile Applications INF-25-Ma-FSA-IM Internet Measurements INF-25-Ma-FSA-IoT IoT Communication INF-25-Ma-FSA-MOS Microkernel-Based Operating Systems INF-25-Ma-FSA-PET Prediction and Estimation Techniques INF-25-Ma-FSA-RNA Advanced Computer Networks INF-25-Ma-FSA-SCC Service and Cloud Computing INF-25-Ma-FSA-SDE Scalable Data Engineering INF-25-Ma-FSA-SDM Scalable Data Management INF-25-Ma-FSA-SE Systems Engineering
Wahlpflichtmodule Fachgebiet Cyber-Physical Systems
INF-25-Ma-FCP-CPS Foundations of Cyber Physical Systems INF-25-Ma-FCP-CPSM.Lab1 Cyber-Physical Systems Modeling Lab INF-25-Ma-FCP-CPSM.Lab2 Cyber-Physical Systems Modeling Lab Advanced INF-25-Ma-FCP-EMIN Engineering and Management of Industrial Networks INF-25-Ma-FCP-ICPS.Lab Industrial Cyber-Physical Systems Lab INF-25-Ma-FCP-IIoT Industrial Internet of Things
Wahlpflichtmodule Fachgebiet Visual Computing and Machine Learning
INF-25-Ma-FVC-CRC Computer and Robot-Assisted Surgery INF-25-Ma-FVC-CV Computer Vision INF-25-Ma-FVC-FCG Foundations of Computer Graphics INF-25-Ma-FVC-FDV Foundations of Data Visualization INF-25-Ma-FVC-FVR Foundations of Virtual Reality INF-25-Ma-FVC-ML Machine Learning INF-25-Ma-FVC-PBG Physics Based Graphics INF-25-Ma-FVC-SC Spatial Computing
Wahlpflichtmodule Fachgebiet Human-Computer Interaction and Interactive Media
INF-25-Ma-FHI-AIT Artistic Interaction Technology INF-25-Ma-FHI-APC Audio Processing INF-25-Ma-FHI-OUT.W OUTPUT.DD Workshop INF-25-Ma-FHI-PC Philosophy and Computing INF-25-Ma-FHI-UIE User Interface Engineering INF-25-Ma-FHI-XIM Experiments in Immersive Media
Wahlpflichtmodule Fachgebiet Computer Engineering and High Performance Computing
INF-25-Ma-FTI-ADS.Lab Adaptive Dynamic Systems Lab INF-25-Ma-FTI-EPA Efficient Parallel Algorithms INF-25-Ma-FTI-ETI Introduction to Computer Engineering INF-25-Ma-FTI-HMS Hardware Modeling and Simulation INF-25-Ma-FTI-HPC High Performance Computing INF-25-Ma-FTI-HPGPU Highly Parallel Programming of GPUs INF-25-Ma-FTI-PACS Performance Analysis of Computing Systems
Ergänzung
INF-25-Ma-AFT Analyse eines Forschungsthemas INF-25-Ma-NGR-AKU Akustik Grundlagen INF-25-Ma-NGR-BMT Biomedizinische Technik Grundlagen INF-25-Ma-NGR-BWL Betriebswirtschaftslehre Grundlagen INF-25-Ma-NGR-CLM Computational Laser Metrology Grundlagen INF-25-Ma-NGR-FL Technische Logistik Grundlagen INF-25-Ma-NGR-GEO Geoinformatik Grundlagen INF-25-Ma-NGR-MAT Mathematik Grundlagen INF-25-Ma-NGR-PGB Photogrammetrie Grundlagen INF-25-Ma-NGR-PROD Produktionstechnik Grundlagen - Fertigungstechnik und Fertigungsplanung INF-25-Ma-NGR-PSY Psychologie Grundlagen INF-25-Ma-NGR-VWL Volkswirtschaftslehre Grundlagen

Course Catalog Wintersemester 2025/2026 - Study Program Master Computer Science, PO 2025

11.10.2025

Wahlpflichtmodule Fachgebiet Theoretical Computer Science and Symbolic Artificial Intelligence

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

back to top
Course hours per week Language Lecturer Institute
Advanced Problem Solving and Search 2/2/0 english Dr. Gaggl Künstliche Intelligenz

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

back to top
Course hours per week Language Lecturer Institute
Advanced Algorithms 4/2/0 english Prof. Dr. Kozma Theoretische Informatik
Foundations of Knowledge Representation 2/2/0 english Prof. Rudolph Künstliche Intelligenz
Foundations of Logic Programming 2/0/0 english Dr. habil. Straß Künstliche Intelligenz
Introduction to Existential Rules 2/0/0 english Prof. Rudolph Künstliche Intelligenz
Modal Logic 2/2/0 english Dr. Piribauer Theoretische Informatik
Proof Theory and Sequent Systems 2/0/0 english Dr. Lyon Künstliche Intelligenz

INF-25-Ma-FTK-CT Complexity Theory

back to top
Course hours per week Language Lecturer Institute
Complexity Theory 4/2/0 english Prof. Krötzsch, Dr. Mennicke Theoretische Informatik

INF-25-Ma-FTK-KM Knowledge Models

back to top
Course hours per week Language Lecturer Institute
Knowledge Graphs 2/2/0 english Prof. Krötzsch Theoretische Informatik

INF-25-Ma-FTK-MC Model Checking

back to top
Course hours per week Language Lecturer Institute
Model Checking 4/4/0 english Prof. Baier, Dr. Klüppelholz Theoretische Informatik

Wahlpflichtmodule Fachgebiet Software Technology and Programming Languages

INF-25-Ma-FSP-CB Compilerbau

back to top
Course hours per week Language Lecturer Institute
Compiler Construction 2/2/0 english Prof. Castrillon-Mazo Technische Informatik

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

back to top
Course hours per week Language Lecturer Institute
Design Patterns and Frameworks 2/2/0 english Dr. Götz Software- und Multimediatechnik

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

back to top
Course hours per week Language Lecturer Institute
Foundations of Certified Programming Language and Compiler Design 2/2/0 english Prof. Castrillon-Mazo, Dr. Ertel Technische Informatik

INF-25-Ma-FSP-FSWT Advanced Software Engineering

back to top
Course hours per week Language Lecturer Institute
Software Engineering II 2/2/0 german Dr. Götz Software- und Multimediatechnik

INF-25-Ma-FSP-MOST Model-Driven Software Development in Technical Spaces

back to top
Course hours per week Language Lecturer Institute
Model-Driven Software Development in Technical Spaces 2/2/0 english Prof. Aßmann Software- und Multimediatechnik

INF-25-Ma-FSP-RETE Requirements and Test Management

back to top
Course hours per week Language Lecturer Institute
Requirements Engineering und Testen 2/2/0 german Prof. Aßmann Software- und Multimediatechnik

INF-25-Ma-FSP-SESAC Self-Adaptive Software and Cobotics

back to top
Course hours per week Language Lecturer Institute
Self-aware Computing Systems and Cobotics 2/2/0 english Prof. Aßmann, Dr. Götz Software- und Multimediatechnik

Wahlpflichtmodule Fachgebiet Secure Computing

INF-25-Ma-FSC-SFT.Lab Software Fault Tolerance Lab

back to top
Course hours per week Language Lecturer Institute
Lab Software Fault Tolerance 0/0/4 english Prof. Fetzer Systemarchitektur

Wahlpflichtmodule Fachgebiet Systems Architecture

INF-25-Ma-FSA-Dec Decentralized Systems

back to top
Course hours per week Language Lecturer Institute
Blockchain Technologies 2/2/0 english Prof. Tschorsch Systemarchitektur

INF-25-Ma-FSA-DS Distributed Systems

back to top
Course hours per week Language Lecturer Institute
Distributed Systems 2/2/0 english Dr. Springer Systemarchitektur

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

back to top
Course hours per week Language Lecturer Institute
Engineering Adaptive Mobile Applications 2/2/0 english Dr. Springer Systemarchitektur

INF-25-Ma-FSA-IM Internet Measurements

back to top
Course hours per week Language Lecturer Institute
Internet Measurements 2/2/0 german Prof. Wählisch Systemarchitektur

INF-25-Ma-FSA-IoT IoT Communication

back to top
Course hours per week Language Lecturer Institute
IoT Communication 2/0/0 english Dr. Dargie, Prof. Wählisch Software- und Multimediatechnik

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

back to top
Course hours per week Language Lecturer Institute
Komplexpraktikum Mikrokernbasierte Betriebssysteme (findet nicht statt) 0/0/4 german Dr.-Ing. Roitzsch, Prof. Dr. Schirmeier Systemarchitektur
Microkernel-Based Operating Systems 2/4/0 english Dr.-Ing. Roitzsch, Prof. Dr. Schirmeier Systemarchitektur

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

back to top
Course hours per week Language Lecturer Institute
Prediction and Estimation Techniques 2/2/0 english Dr. Dargie Software- und Multimediatechnik

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

back to top
Course hours per week Language Lecturer Institute
Advanced Computer Networks 2/2/0 english Prof. Wählisch Systemarchitektur

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

back to top
Course hours per week Language Lecturer Institute
Service and Cloud Computing 2/2/0 german Dr. Braun Systemarchitektur

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

back to top
Course hours per week Language Lecturer Institute
Scalable Data Engineering 2/2/0 english Prof. Lehner, Dr. Hartmann Systemarchitektur

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

back to top
Course hours per week Language Lecturer Institute
Scalable Data Management 2/2/0 english Prof. Habich Systemarchitektur

INF-25-Ma-FSA-SE Systems Engineering

back to top
Course hours per week Language Lecturer Institute
Systems Engineering 2/2/0 english Prof. Fetzer Systemarchitektur

Wahlpflichtmodule Fachgebiet Cyber-Physical Systems

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

back to top
Course hours per week Language Lecturer Institute
Application of Computer Science in Automation 1/1/0 german Prof. Wollschlaeger Angewandte Informatik
Network Simulation (NwSim) 1/1/0 german/english Prof. Sommer Angewandte Informatik

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

back to top
Course hours per week Language Lecturer Institute
Networked Systems Modeling Lab (PR-NSM) 0/0/4 german/english Dr.-Ing. Hensel, Prof. Sommer Angewandte Informatik

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

back to top
Course hours per week Language Lecturer Institute
Cooperative Networked Systems Lab (PR-CNS) 0/0/4 german/english Prof. Sommer Angewandte Informatik

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

back to top
Course hours per week Language Lecturer Institute
Engineering of Industrial Communication Systems 2/0/0 german Prof. Wollschlaeger Angewandte Informatik
Network Management in Industrial Applications 2/0/0 german Prof. Wollschlaeger Angewandte Informatik

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

back to top
Course hours per week Language Lecturer Institute
Cyber Physical Systems Lab 0/0/4 german Prof. Wollschlaeger Angewandte Informatik

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

back to top
Course hours per week Language Lecturer Institute
Internet of Things in Automation 2/0/0 german Dr.-Ing. Hilbert Angewandte Informatik
Software Aspects of the Industrial Internet of Things 1/1/0 german Prof. Wollschlaeger Angewandte Informatik

Wahlpflichtmodule Fachgebiet Visual Computing and Machine Learning

INF-25-Ma-FVC-CRC Computer and Robot-Assisted Surgery

back to top
Course hours per week Language Lecturer Institute
Computer- and robot-assisted surgery 2/2/0 english Prof. Speidel Andere Fakultäten

INF-25-Ma-FVC-CV Computer Vision

back to top
Course hours per week Language Lecturer Institute
Computer Vision I 2/2/0 english Prof. Dr. Andres Künstliche Intelligenz

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

back to top
Course hours per week Language Lecturer Institute
Computer Graphics I 2/2/0 english Prof. Gumhold Software- und Multimediatechnik

INF-25-Ma-FVC-FDV Foundations of Data Visualization

back to top
Course hours per week Language Lecturer Institute
Data Visualization 2/2/0 english Prof. Gumhold, Prof. Dachselt Software- und Multimediatechnik

INF-25-Ma-FVC-FVR Foundations of Virtual Reality

back to top
Course hours per week Language Lecturer Institute
Foundations of Virtual Reality 2/2/0 english Jun.-Prof. McGinity Software- und Multimediatechnik

INF-25-Ma-FVC-ML Machine Learning

back to top
Course hours per week Language Lecturer Institute
Machine Learning I 2/2/0 english Prof. Dr. Andres Künstliche Intelligenz

Wahlpflichtmodule Fachgebiet Human-Computer Interaction and Interactive Media

INF-25-Ma-FHI-APC Audio Processing

back to top
Course hours per week Language Lecturer Institute
Audio Lab 0/0/4 german Jun.-Prof. McGinity, Dr.-Ing. Engeln Software- und Multimediatechnik

INF-25-Ma-FHI-XIM Experiments in Immersive Media

back to top
Course hours per week Language Lecturer Institute
Experimental Media Lab 0/0/4 english Jun.-Prof. McGinity Software- und Multimediatechnik

Wahlpflichtmodule Fachgebiet Computer Engineering and High Performance Computing

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

back to top
Course hours per week Language Lecturer Institute
Efficient Parallel Algorithms 2/2/0 german Prof. Nagel Technische Informatik

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

back to top
Course hours per week Language Lecturer Institute
Fundamentals of Computer Engineering 4/2/2 german Prof. Nagel, Prof. Castrillon-Mazo, Prof. Göhringer, Dr. Märcker Technische Informatik

INF-25-Ma-FTI-HMS Hardware Modeling and Simulation

back to top
Course hours per week Language Lecturer Institute
Hardware Modeling and Simulation 2/2/0 german/english Prof. Göhringer Technische Informatik

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

back to top
Course hours per week Language Lecturer Institute
High Performance Computing 2/2/0 english Prof. Nagel Technische Informatik

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

back to top
Course hours per week Language Lecturer Institute
Highly Parallel Programming of GPUs 2/2/0 english Prof. Nagel Technische Informatik

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

back to top
Course hours per week Language Lecturer Institute
Performance Analysis of Computing Systems 2/2/0 english Prof. Nagel, Dr. Brunst Technische Informatik

Ergänzung

INF-25-Ma-AFT Analyse eines Forschungsthemas

back to top
Course hours per week Language Lecturer Institute
Analyse eines Forschungsthemas: Adaptive Dynamische Systeme Projekte (40 Stunden) german/english Prof. Göhringer Technische Informatik
Analyse eines Forschungsthemas: Automatentheorie Projekte (40 Stunden) german/english Prof. Baader Theoretische Informatik
Analyse eines Forschungsthemas: Betriebssysteme Projekte (40 Stunden) german/english Prof. Dr. Schirmeier Systemarchitektur
Analyse eines Forschungsthemas: Compilerbau Projekte (40 Stunden) german/english Prof. Castrillon-Mazo Technische Informatik
Analyse eines Forschungsthemas: Computational Logic Projekte (40 Stunden) german/english Prof. Rudolph Künstliche Intelligenz
Analyse eines Forschungsthemas: Datenbanken Projekte (40 Stunden) german/english Prof. Lehner Systemarchitektur
Analyse eines Forschungsthemas: Didaktik der Informatik Projekte (40 Stunden) german/english Prof. Dr. Grillenberger Software- und Multimediatechnik
Analyse eines Forschungsthemas: Distributed and Networked Systems Projekte (40 Stunden) german/english Prof. Wählisch Systemarchitektur
Analyse eines Forschungsthemas: Gestaltung immersiver Medien Projekte (40 Stunden) german/english Jun.-Prof. McGinity Software- und Multimediatechnik
Analyse eines Forschungsthemas: Machine Learning for Robotics Projekte (40 Stunden) german/english Prof. Dr. Calandra Künstliche Intelligenz
Analyse eines Forschungsthemas: Maschinelles Lernen für Computer Vision Projekte (40 Stunden) german/english Prof. Dr. Andres Künstliche Intelligenz
Analyse eines Forschungsthemas: Maschinelles Lernen für das Räumliche Verständnis Projekte (40 Stunden) german/english Prof. Dr. Weigert Künstliche Intelligenz
Analyse eines Forschungsthemas: Mensch-Computer Interaktion Projekte (40 Stunden) german/english Prof. Weber Angewandte Informatik
Analyse eines Forschungsthemas: Multimedia-Technologie Projekte (40 Stunden) german/english Prof. Dachselt Software- und Multimediatechnik
Analyse eines Forschungsthemas: Privacy and Security Projekte (40 Stunden) german/english Prof. Tschorsch Systemarchitektur
Analyse eines Forschungsthemas: Prozesskommunikation Projekte (40 Stunden) german/english Prof. Wollschlaeger Angewandte Informatik
Analyse eines Forschungsthemas: Prozessmodellierung für vernetzte technische Systeme Projekte (40 Stunden) german/english Prof. Sommer Angewandte Informatik
Analyse eines Forschungsthemas: Rechnerarchitektur Projekte (40 Stunden) german/english Prof. Nagel Technische Informatik
Analyse eines Forschungsthemas: Rechnergestützte Systemwissenschaften Projekte (40 Stunden) german/english Prof. Dr. Kühne Künstliche Intelligenz
Analyse eines Forschungsthemas: Skalierbare Software-Architekturen für Data Analytics Projekte (40 Stunden) german/english Prof. Dr. Färber Technische Informatik
Analyse eines Forschungsthemas: Softwaretechnologie Projekte (40 Stunden) german/english Prof. Aßmann Software- und Multimediatechnik
Analyse eines Forschungsthemas: Systems Engineering Projekte (40 Stunden) german/english Prof. Fetzer Systemarchitektur
Analyse eines Forschungsthemas: Wissensbasierte Künstliche Intelligenz Projekte (40 Stunden) german/english Prof. Dr. Razniewski Künstliche Intelligenz
Analyse eines Forschungsthemas: Wissensbasierte Systeme Projekte (40 Stunden) german/english Prof. Krötzsch Theoretische Informatik
Analyse eines Forschungsthemas: Wissenschaftliches Rechnen für Systembiologie Projekte (40 Stunden) german/english Prof. Sbalzarini Künstliche Intelligenz

Notes

back to top

Day/Room

  • ZVZ ... Time is to be announced or will be set on agreement between course participants
  • AVO ... Room is to be announced or will be set on agreement between course participants

Weeks

  • wöch. ... weekly
  • 1. Wo ... odd calendar week
  • 2. Wo ... even calendar week

semester as defined in the exam regulation. The modules are shown with their starting semester, thus modules taking more than one semester to complete may be shown with a lower semester number than the students actually have..

master level This course is intended for students in the master and diploma programs. This course is optional and only recommended for students with advanced knowledge.

module In addition to the modules of the Bachelor/Master/Diplom Informatik, Medieninformatik and Informationssystemtechnik programs the following modules for other study programs have been defined:

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

and the following pseudo modules for older non-modularized study programs

  • INF-04* ... Diplom Informatik, exam and/or study regulation as of 2004
  • MINF-04* ... Diplom Medieninformatik, exam and/or study regulation as of 2004
  • IST-05* ... Diplom Informationssystemtechnik, exam and/or study regulations as of 2005-2010
  • INF-LE* ... Courses offered to students of other departments
  • FAK-INF-FF ... Fakultative Lehrveranstaltungen für alle Studierende an der Fakultät Informatik

Exams The type and duration of exams are defined in the module handbook. Exceptions thereof are modules INF-AQUA, INF-B-510/20/30/40, INF-B-610 and INF-D-940 - the offered courses explicitly state the exam type and duration. Possible exam types are as follows::

  • Presentation and seminar paper
  • P(m) ... oral Exam (with stated duration)
  • P(s) ... written exam (with stated duration)
  • P(PP) ... Practical course protocol / Lab protocol
  • P(sA) ... written excerpt
  • P(PA) ... project paper
  • P(PE) ... gradeable outcome of a internship or project
Course Catalog Wintersemester 2025/2026 - Study Program Master Computer Science, PO 2025