Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Course of Study "Computer Science" (M.Sc.)

Department [INF] Informatik
Degree [M.Sc.] Master (M.Sc.)
(88)
Course of Study Computer Science
(79)
State [NORM] Active
Short Name, Number M.Sc. Computer Science
[INF-88.79-SG]
Additional informations

Core Modules (non specialised)

Section Computer Science Theory

WP MAT-52-11-M-7
Graphs and Algorithms
irreg. EN 9.0 CP
WP INF-54-54-M-6
Advanced Algorithmics
irreg. DE/EN 8.0 CP
WP INF-56-51-M-6
Concurrency Theory
in WiSe EN 8.0 CP
WP INF-56-52-M-6
Advanced Automata Theory
in SuSe EN 8.0 CP
WP INF-56-53-M-5
Complexity Theory
in WiSe EN 8.0 CP
WP INF-59-51-M-6
Automated Reasoning
in SuSe EN 8.0 CP
WP INF-62-52-M-6
Verification of Reactive Systems
in SuSe EN 8.0 CP
WP INF-75-50-M-5
Machine Learning I - Theoretical Foundations
in SuSe EN 8.0 CP
Core Modules (non specialised)

Section Formal Fundamentals

Computer Science Theory
WP INF-54-54-M-6
Advanced Algorithmics
irreg. DE/EN 8.0 CP
WP INF-56-51-M-6
Concurrency Theory
in WiSe EN 8.0 CP
WP INF-56-52-M-6
Advanced Automata Theory
in SuSe EN 8.0 CP
WP INF-56-53-M-5
Complexity Theory
in WiSe EN 8.0 CP
WP INF-59-51-M-6
Automated Reasoning
in SuSe EN 8.0 CP
WP INF-62-52-M-6
Verification of Reactive Systems
in SuSe EN 8.0 CP
WP INF-75-50-M-5
Machine Learning I - Theoretical Foundations
in SuSe EN 8.0 CP
Algebra
WP MAT-40-11-M-4
Commutative Algebra
in WiSe EN 9.0 CP
WP MAT-40-14-M-4
Cryptography
in SuSe EN 9.0 CP
WP MAT-40-28-M-4
Plane Algebraic Curves
in SuSe EN 4.5 CP
WP MAT-40-29-M-4
Quadratic Number Fields
irreg. SuSe EN 4.5 CP
Mathematical Modelling
WP MAT-50-11-M-4
Integer Programming: Polyhedral Theory and Algorithms
in WiSe EN 9.0 CP
WP MAT-50-12-M-4
Nonlinear Optimization
in SuSe EN 9.0 CP
WP MAT-52-12-M-7
Advanced Network Flows and Selfish Routing
irreg. EN 9.0 CP
WP MAT-59-11-M-7
Theory of Scheduling Problems
in SuSe EN 9.0 CP
WP MAT-52-11-M-7
Graphs and Algorithms
irreg. EN 9.0 CP
WP MAT-52-14-M-7
Online Optimization
irreg. EN 9.0 CP
Stochastics/Statistics
WP MAT-60-12-M-4
Regression and Time Series Analysis
in SuSe EN 9.0 CP
WP MAT-60-14-M-6
Monte Carlo Algorithms
irreg. SuSe EN 9.0 CP
Analysis
WP MAT-80-11-M-4
Differential Equations: Numerics of ODE & Introduction to PDE
in WiSe EN 9.0 CP
WP MAT-65-10-M-4
Foundations in Mathematical Image Processing
irreg. EN 9.0 CP
WP MAT-80-12A-M-4
Introduction to Systems and Control Theory
in SuSe EN 4.5 CP
WP MAT-80-17-M-6
Dynamical Systems
irreg. SuSe EN 4.5 CP
Electrical Engineering
WP EIT-LRS-504-M-3
Linear Control
in WiSe DE 5.0 CP
WP EIT-NAT-535-M-7
Introduction to Information and Coding Theory
in WiSe DE 3.0 CP
Mechanical Engineering
WP MV-TM-136-M-4
Finite Elements
in SuSe DE 6.0 CP
Specialisation

Section Specialization 1

In the specialization, students gain in-depth knowledge in a specific field of computer science, enabling them to comprehend and contribute to the state-of-the-art of research in the field. The specialization consists of a set of lectures, at least one seminar and at least one project matching the specialization field. Successfully examined modules of at least 16 credits are required. The Computer Science Department offers the following fields of specialization, which are also described further in Appendix 3:
  • Algorithms and Deduction
  • Embedded Systems
  • Information Systems
  • Intelligent Systems
  • Distributed and networked systems
  • Software Engineering
  • Visualization and Scientific Computing
Algorithms and Deduction
WP MAT-52-11-M-7
Graphs and Algorithms
irreg. EN 9.0 CP
WP INF-56-53-M-5
Complexity Theory
in WiSe EN 8.0 CP
WP MAT-41-11-M-7
Computer Algebra
irreg. SuSe EN 9.0 CP
WP MAT-59-12-M-7
Probability and Algorithms
in WiSe EN 9.0 CP
WP INF-54-54-M-6
Advanced Algorithmics
irreg. DE/EN 8.0 CP
WP INF-58-51-M-6
Algorithms and Symmetry
in SuSe EN 8.0 CP
WP INF-58-52-M-6
Algorithmic Group Theory
in SuSe EN 8.0 CP
WP INF-56-01-M-6
Program Analysis
in WiSe EN 6.0 CP
WP INF-56-51-M-6
Concurrency Theory
in WiSe EN 8.0 CP
WP INF-56-52-M-6
Advanced Automata Theory
in SuSe EN 8.0 CP
WP INF-56-54-M-5
Replication and Consistency
in WiSe DE/EN 4.0 CP
WP INF-59-51-M-6
Automated Reasoning
in SuSe EN 8.0 CP
WP INF-81-71-M-7
Scientific Publication
irreg. DE/EN 4.0 CP
WP INF-81-81-M-7
Guided Research (Project)
irreg. DE/EN 12.0 CP
WP INF-54-82-M-7
Algorithms and Complexity (Project)
irreg. EN 8.0 CP
WP INF-62-83-M-7
Applied Verification (Project)
in WiSe EN 8.0 CP
WP INF-54-72-M-7
Specific Algorithms (Seminar)
irreg. EN 4.0 CP
WP INF-56-72-M-7
Logic and Verification (Seminar)
irreg. EN 4.0 CP
WP INF-88-74-M-7
Research Topics in Program Synthesis and Reliability (Seminar)
in SuSe EN 4.0 CP
Embedded Systems and Robotics
WP INF-60-02-M-5
Fundamentals of Robotics
in WiSe DE/EN 6.0 CP
WP INF-60-03-M-5
Fundamentals of Embedded Systems
in SuSe DE/EN 8.0 CP
WP INF-62-01-M-5
Processor Architecture
in WiSe EN 4.0 CP
WP INF-62-54-M-5
Parallel Computing
in SuSe EN 4.0 CP
WP INF-60-02-M-5
Fundamentals of Robotics
in WiSe DE/EN 6.0 CP
WP INF-61-33-M-6
Autonomous Mobile Robots
in SuSe DE/EN 8.0 CP
WP INF-61-53-M-6
Biologically Motivated Robots
in WiSe DE/EN 6.0 CP
WP INF-33-31-M-5
Safety and Reliability of Embedded Systems
in WiSe EN 4.0 CP
WP INF-62-36-M-6
Model-based Design of Embedded Systems
in WiSe EN 8.0 CP
WP INF-62-52-M-6
Verification of Reactive Systems
in SuSe EN 8.0 CP
WP INF-62-54-M-5
Parallel Computing
in SuSe EN 4.0 CP
WP INF-64-02-M-6
Simulation of Bus Systems
in WiSe EN 4.0 CP
WP INF-64-52-M-5
Automotive Software and Systems Engineering
in SuSe DE/EN 4.0 CP
WP INF-65-51-M-6
Power-Aware Embedded Systems
in WiSe EN 4.0 CP
WP INF-41-53-M-6
Algorithms in Ad-hoc Networks
irreg. DE/EN 4.0 CP
WP INF-42-58-M-6
OS-based programming of embedded systems
irreg. EN 4.0 CP
WP INF-81-71-M-7
Scientific Publication
irreg. DE/EN 4.0 CP
W INF-81-81-M-7
Guided Research (Project)
irreg. DE/EN 12.0 CP
WP INF-61-81-M-7
Service Robots and Assistance Systems (Project)
in SuSe EN 8.0 CP
WP INF-62-81-M-7
Hardware-Software Synthesis (Project)
in WiSe/SuSe EN 8.0 CP
WP INF-62-83-M-7
Applied Verification (Project)
in WiSe EN 8.0 CP
WP INF-65-81-M-7
Model based development of Embedded Systems (Project)
irreg. EN 8.0 CP
WP INF-61-72-M-7
Embedded Systems and Robotics (Seminar)
in WiSe/SuSe EN 4.0 CP
WP INF-65-71-M-7
Cyber-Physical Systems (Seminar)
in WiSe/SuSe EN 4.0 CP
WP INF-61-73-M-7
Robotics and Artificial Intelligence (Seminar)
in WiSe EN 4.0 CP
WP INF-88-83-M-6
Compositional Techniques for Synthesis and Verification (Seminar)
irreg. EN 4.0 CP
Information Systems
WP INF-20-01-M-5
Database Systems
in WiSe EN 8.0 CP
WP INF-22-02-M-6
Middleware for Heterogeneous and Distributed Information Systems
in WiSe DE/EN 8.0 CP
WP INF-24-53-M-6
Distributed Data Management
irreg. SuSe EN 4.0 CP
WP INF-22-34-M-6
Recent Developments for Data Models
irreg. SuSe DE/EN 8.0 CP
WP INF-24-52-M-6
Information Retrieval and Data Mining
irreg. SuSe EN 4.0 CP
WP INF-81-71-M-7
Scientific Publication
irreg. DE/EN 4.0 CP
WP INF-81-81-M-7
Guided Research (Project)
irreg. DE/EN 12.0 CP
WP INF-21-46-M-7
DB Scheme Design and Programming (Project)
in SuSe EN 8.0 CP
WP INF-24-81-M-7
Information Systems Project - Development of a Web Search Engine (Project)
in WiSe EN 8.0 CP
WP INF-22-71-M-7
Data Bases and Information Systems (Seminar)
in WiSe/SuSe EN 4.0 CP
Intelligent Systems
WP INF-71-58-M-5
Collaborative Intelligence
in SuSe EN 4.0 CP
WP INF-73-51-M-5
3D Computer Vision
in WiSe DE/EN 4.0 CP
WP INF-75-50-M-5
Machine Learning I - Theoretical Foundations
in SuSe EN 8.0 CP
WP INF-57-51-M-6
Continuous models of complex systems
in WiSe EN 4.0 CP
WP INF-74-51-M-6
Embedded Intelligence
in SuSe EN 4.0 CP
WP INF-73-52-M-6
Methods for modeling and capturing human motion
in WiSe EN 4.0 CP
WP INF-74-60-M-6
Agent Based Simulations of Complex Systems
in SuSe EN 4.0 CP
WP INF-57-53-M-6
Data Science Literacy
in WiSe EN 8.0 CP
WP INF-71-56-M-6
Applications of Machine Learning and Data Science
in WiSe EN 4.0 CP
WP INF-71-57-M-6
Very Deep Learning - Recent Methods and Technologies
in WiSe EN 4.0 CP
WP INF-71-63-M-6
Social Web Mining
in SuSe EN 4.0 CP
WP INF-73-53-M-6
2D Image Processing
in WiSe/SuSe EN 4.0 CP
WP INF-75-51-M-6
Machine Learning II - Statistical ML
in WiSe EN 8.0 CP
WP INF-76-61-M-6
Probabilistic graphical models
in SuSe EN 4.0 CP
WP INF-81-71-M-7
Scientific Publication
irreg. DE/EN 4.0 CP
WP INF-81-81-M-7
Guided Research (Project)
irreg. DE/EN 12.0 CP
WP INF-61-81-M-7
Service Robots and Assistance Systems (Project)
in SuSe EN 8.0 CP
WP INF-71-45-M-7
Applied Artificial Intelligence (Project)
in SuSe EN 8.0 CP
WP INF-72-83-M-7
Machine Learning and Deep Learning (Project)
irreg. EN 8.0 CP
WP INF-73-81-M-7
3D Computer Vision & Augmented Reality (Project)
in SuSe EN 8.0 CP
WP INF-73-82-M-7
Image Processing and Augmented Reality (Projekt)
in WiSe EN 8.0 CP
WP INF-73-83-M-7
Simulation, capturing and analysis of human motion (Project)
in WiSe EN 8.0 CP
WP INF-73-84-M-7
Very Deep Learning for Computer Vision (Projekt)
irreg. EN 8.0 CP
WP INF-74-82-M-7
Applications of Statistical Artificial Intelligence (Project)
in WiSe/SuSe EN 8.0 CP
WP INF-61-73-M-7
Robotics and Artificial Intelligence (Seminar)
in WiSe EN 4.0 CP
WP INF-71-74-M-7
Collaborative Intelligence (Seminar)
in WiSe EN 4.0 CP
WP INF-73-71-M-7
3D Computer Vision & Augmented Reality (Seminar)
in SuSe EN 4.0 CP
WP INF-73-72-M-7
Image Processing and Augmented Reality (Seminar)
in WiSe EN 4.0 CP
WP INF-73-73-M-7
Simulation, capturing and analysis of human motion (Seminar)
in WiSe EN 4.0 CP
WP INF-75-71-M-7
Deep Learning (Seminar)
in WiSe/SuSe EN 4.0 CP
WP INF-75-72-M-7
Reinforcement Learning Reading Course (Seminar)
in WiSe EN 4.0 CP
Distributed and Networked Systems
WP INF-40-01-M-5
Networked Systems
in WiSe DE/EN 4.0 CP
WP INF-40-04-M-5
Quantitative Aspects of Distributed Systems
in SuSe EN 4.0 CP
WP INF-42-52-M-5
Network Security
irreg. WiSe DE/EN 4.0 CP
WP INF-41-31-M-6
Protocol Engineering
in SuSe DE/EN 4.0 CP
WP INF-41-52-M-6
Specification of Networked Systems
irreg. DE/EN 4.0 CP
WP INF-41-53-M-6
Algorithms in Ad-hoc Networks
irreg. DE/EN 4.0 CP
WP INF-42-51-M-6
Stochastic Analysis of Distributed Systems
irreg. DE/EN 4.0 CP
WP INF-42-55-M-6
Protocols and Algorithms for Network Security
irreg. WiSe DE/EN 4.0 CP
WP INF-42-56-M-6
Worst-Case Analysis of Distributed Systems
irreg. WiSe EN 4.0 CP
WP INF-42-58-M-6
OS-based programming of embedded systems
irreg. EN 4.0 CP
WP INF-81-71-M-7
Scientific Publication
irreg. DE/EN 4.0 CP
WP INF-81-81-M-7
Guided Research (Project)
irreg. DE/EN 12.0 CP
WP INF-41-45-M-6
Development of Networked Systems (Project)
in SuSe EN 8.0 CP
WP INF-42-45-M-7
Performance Evaluation of Distributed Systems (Project)
in WiSe EN 8.0 CP
WP INF-42-82-M-7
Design of Secure Distributed Systems (Project)
irreg. EN 8.0 CP
WP INF-41-71-M-7
Communication Systems (Seminar)
in WiSe EN 4.0 CP
WP INF-42-71-M-7
Mobile Computing (Seminar)
in SuSe EN 4.0 CP
Software Engineering
WP INF-30-02-M-5
Foundations of Software Engineering
in SuSe EN 4.0 CP
WP INF-31-31-M-5
Software Project and Process Management
in SuSe DE/EN 4.0 CP
WP INF-32-55-M-5
Compiler and Language Processing Tools
in WiSe EN 8.0 CP
WP INF-33-31-M-5
Safety and Reliability of Embedded Systems
in WiSe EN 4.0 CP
WP INF-36-51-M-5
Functional Programming
in SuSe DE/EN 8.0 CP
WP INF-56-54-M-5
Replication and Consistency
in WiSe DE/EN 4.0 CP
WP INF-64-52-M-5
Automotive Software and Systems Engineering
in SuSe DE/EN 4.0 CP
WP INF-31-51-M-6
Process Modeling
in SuSe EN 4.0 CP
WP INF-31-52-M-6
Product Line Engineering
in WiSe EN 4.0 CP
WP INF-31-53-M-6
Empirical Model Formation and Methods
in SuSe DE/EN 4.0 CP
WP INF-31-55-M-6
Requirements Engineering
in WiSe EN 4.0 CP
WP INF-34-31-M-6
System- and Software Architecture
in SuSe EN 4.0 CP
WP INF-33-52-M-6
Quality Management of Software and Systems
irreg. WiSe EN 4.0 CP
WP INF-33-55-M-6
Software Quality Assurance
irreg. WiSe EN 4.0 CP
WP INF-41-31-M-6
Protocol Engineering
in SuSe DE/EN 4.0 CP
WP INF-64-02-M-6
Simulation of Bus Systems
in WiSe EN 4.0 CP
WP INF-32-52-M-6
Specification and Verification with Higher Order Logic
irreg. DE/EN 8.0 CP
WP INF-56-01-M-6
Program Analysis
in WiSe EN 6.0 CP
WP INF-32-56-M-6
Programming Distributed Systems
in SuSe EN 8.0 CP
WP INF-24-53-M-6
Distributed Data Management
irreg. SuSe EN 4.0 CP
WP INF-81-71-M-7
Scientific Publication
irreg. DE/EN 4.0 CP
WP INF-81-81-M-7
Guided Research (Project)
irreg. DE/EN 12.0 CP
WP INF-32-82-M-7
Software Engineering (Master-Project)
in WiSe EN 8.0 CP
WP INF-62-83-M-7
Applied Verification (Project)
in WiSe EN 8.0 CP
WP INF-33-72-M-7
Software Engineering (Seminar)
in WiSe/SuSe EN 4.0 CP
WP INF-88-74-M-7
Research Topics in Program Synthesis and Reliability (Seminar)
in SuSe EN 4.0 CP
Visualization and Scientific Computing
WP INF-10-03-M-5
Computer Graphics
in SuSe EN 8.0 CP
WP INF-11-52-M-5
Computational Geometry
in WiSe DE/EN 4.0 CP
WP INF-16-52-M-5
Human Computer Interaction
in WiSe DE/EN 4.0 CP
WP INF-19-31-M-5
Data Visualization
in WiSe DE/EN 4.0 CP
WP INF-73-51-M-5
3D Computer Vision
in WiSe DE/EN 4.0 CP
WP INF-19-51-M-6
Visual Analytics
in SuSe DE/EN 5.0 CP
WP INF-16-33-M-6
Scientific Visualization
in SuSe EN 5.0 CP
WP INF-18-51-M-6
Computational Topology
in SuSe DE/EN 5.0 CP
WP INF-14-55-M-6
Topology Optimization
irreg. SuSe DE/EN 4.5 CP
WP INF-14-56-M-6
Optimization in Fluid Mechanics
irreg. SuSe EN 4.5 CP
WP INF-14-57-M-6
Algorithmic Differentiation
in WiSe EN 5.0 CP
WP INF-14-53-M-6
High Performance Computing (Introduction)
in SuSe DE/EN 5.0 CP
WP INF-14-54-M-6
High Performance Computing with GPUs
in WiSe DE/EN 6.0 CP
WP INF-14-58-M-6
High Performance Computing for Python
in WiSe EN 3.0 CP
WP INF-24-53-M-6
Distributed Data Management
irreg. SuSe EN 4.0 CP
WP INF-62-54-M-5
Parallel Computing
in SuSe EN 4.0 CP
WP INF-81-71-M-7
Scientific Publication
irreg. DE/EN 4.0 CP
WP INF-81-81-M-7
Guided Research (Project)
irreg. DE/EN 12.0 CP
WP INF-16-81-M-7
Visualisation and HCI (Project)
in WiSe/SuSe EN 8.0 CP
WP INF-14-74-M-7
Scientific Computing (Seminar)
in WiSe EN 4.0 CP
WP INF-16-71-M-7
Visualisation and HCI (Seminar)
in WiSe EN 4.0 CP
Specialisation

Section Specialization 2

This specialization follows the same goals as specialization 1. Moreover, the minimum number of credits to be obtained in this specialization is smaller than for specialization 1. Successfully examined modules of at least 12 credits are required. Seminars and projects are not madatory but may also be chosen in specialisation 2. The fields of specialization and the lectures offered for them are the same as those of specialization 1.
Keine Module eingebunden
Free Elective Area

Section Supplementary Block

The supplementary block has to be planned in consultation with the student’s mentor (a professor of the Computer Science Department assigned by the examination board). The examination plan for the supplementary block can be planned according to the following goals:
  • Broadening the computer science study profile by choosing additional modules from arbitrary specializations other than the chosen specializations 1 and 2.
  • Strengthening the study profile in a specific application area by choosing modules from study programs of other departments.

Up to 8 credits can be used for electing modules that help develop interdisciplinary skills (personal development, social/ethical aspects of CS, language skills, etc.).

If modules from study programs of other departments are chosen, then at most 10 credits can be obtained by modules from bachelor programs.

A maximum of one additional project or 'guided research' project can be placed in the supplementary block (but only those that are not assigned to one of the chosen specialisations.

Mentor approval is required for the Supplementary Block section of the examination plan.

Keine Module eingebunden
Thesis

Section Thesis

P INF-81-11-M-7
Master's Thesis
irreg. DE/EN 30.0 CP