Wahlpflichtfächer Sommer 2021

Theoretische Informatik​

1. Advanced Algorithmics
2. Theory of Distributed and Parallel Systems
3. Functional Programming
4. Semantics and Verification of Software
5. Modeling and Verification of Probabilistic Systems
6. Algorithmic Foundations of Data Science
7. Rekursionstheorie
8. Logics for Reasoning about Uncertainty
9. Modeling and Analysis of Hybrid Systems
10. Advanced Automata Theory

Software und Kommunikation​

1. Software Project Management
2. Software Quality Assurance
3. Mobile Internet Technology
4. Dynamical Processes on Networks
5. Advanced Microcontroller Programming and Debugging
6. Functional Safety and System Dependability
7. Embedded Systems
8. Software Language Engineering

Daten- und Informations-management

1. Social Computing
2. Business Process Intelligence
3. Advanced Process Mining
4. IT-Security 2
5. Security in Mobile Communications
6. The Logic of Knowledge Bases
7. CSCW, Groupware and Blockchain
8. Learning Technologies

Angewandte Informatik

1. Advanced Techniques in Physically-Based Animation
2. Special Topics of Virtual Reality
3. Introduction to Numerical Methods and Software
4. Combinatorial Problems in Scientific Computing
5. Geometry Processing
6. Social Networks
7. Web Mining
8. Data driven Methods for 3D Shape Analysis
9. Designing Interactive Systems 2
10. Current Topics in HCI
11. Concepts and Models for Parallel and Data-centric Programming
12. Performance and Correctness Analysis of Parallel Programs
13. Computer Vision
14. Advanced Machine Learning

Theoretische Informatik

INFORMATIK 1
Algorithms and Complexity

Advanced Algorithmics

Prof. Dr. Gerhard Woeginger

MASTER
   Ab 15.04.2021

INFORMATIK 1
Algorithms and Complexity

Theory of Distributed and Parallel Systems

PD Dr. Walter Unger

MASTER
   Ab 14.04.2021

LUFG INFORMATIK 2
Programming Languages and Verification

Functional Programming

Prof. Dr. Jürgen Giesl

BACHELOR & MASTER
   Ab 13.04.2021

INFORMATIK 2
Software Modeling and Verifcation

Semantics and Verification of Software

apl.-Prof. Dr. Thomas Noll

MASTER
   Ab 14.04.2021

INFORMATIK 2
Software Modeling and Verifcation

Modeling and Verification of Probabilistic Systems

Prof. Dr. ir. Joost-Pieter Katoen

MASTER
   Ab 13.04.2021

INFORMATIK 7
Logic and Theory of Discrete Systems

Algorithmic Foundations of Data Science

Prof. Dr. Martin Grohe

MASTER
   Ab 15.04.2021

INFORMATIK 7
Logic and Theory of Discrete Systems

Rekursionstheorie

Prof. Dr. Martin Grohe

MASTER
   Ab 15.04.2021

LUFG INFORMATIK 7
Mathematical Foundations of Computer Science

Logics for Reasoning about Uncertainty

Prof. Dr. Erich Grädel

MASTER
   Ab 13.04.2021

LUFG INFORMATIK 2
Theory of Hybrid Systems

Modeling and Analysis of Hybrid Systems

Prof. Dr. Erika Ábrahám

BACHELOR & MASTER
   Ab 19.04.2021

INFORMATIK 7
Logic and Theory of Discrete Systems

Advanced Automata Theory

PD Dr. Christof Löding

BACHELOR & MASTER
   Ab 15.04.2021

Software und Kommunikation

LUFG INFORMATIK 3
Software Construction

Software Project Management

Prof. Dr. Horst Lichter

MASTER
   Ab 16.04.2021

LUFG INFORMATIK 3
Software Construction

Software Quality Assurance

Prof. Dr. Horst Lichter

BACHELOR & MASTER
   Ab 14.04.2021

INFORMATIK 4
Communication and Distributed Systems

Mobile Internet Technology

Dr. Dirk Thißen, RWTH Lecturer

BACHELOR & MASTER
   Ab 23.04.2021

LUFG INFORMATIK 4
Computational Network Science

Dynamical Processes on Networks

Jun.-Prof. Michael Schaub, Ph.D.

BACHELOR & MASTER
   Ab 15.04.2021

INFORMATIK 11
Embedded Software

Advanced Microcontroller Programming and Debugging

Dr.-Ing. André Stollenwerk

MASTER
   Ab 14.04.2021

INFORMATIK 11
Embedded Software

Functional Safety and System Dependability

Prof. Dr.-Ing. Stefan Kowalewski

MASTER
   Ab 19.04.2021

INFORMATIK 11
Embedded Software

Embedded Systems

Prof. Dr.-Ing. Stefan Kowalewski

BACHELOR & MASTER
   Ab 19.04.2021

INFORMATIK 3
Software Engineering

Software Language Engineering

Prof. Dr. Bernhard Rumpe

BACHELOR & MASTER
   Ab 13.04.2021

Daten- und Informationsmanagement

INFORMATIK 5
Information Systems

Social Computing

PD Dr. Ralf Klamma

MASTER
   Ab 16.04.2021

INFORMATIK 9
Process and Data Science

Business Process Intelligence

Prof. Dr. ir. Wil van der Aalst

BACHELOR & MASTER
   Ab 14.04.2021

INFORMATIK 9
Process and Data Science

Advanced Process Mining

Dr. ir. Sebastiaan J. van Zelst

MASTER
   Ab 14.04.2021

LUFG INFORMATIK 4
IT Security

IT-Security 2

Prof. Dr.-Ing. Ulrike Meyer

MASTER
   Ab 14.04.2021

LUFG INFORMATIK 4
IT Security

Security in Mobile Communications

Prof. Dr.-Ing. Ulrike Meyer

MASTER
   Ab 16.04.2021

LUFG INFORMATIK 5
Knowledge-based Systems

The Logic of Knowledge Bases

Prof. Dr. Gerhard Lakemeyer

BACHELOR & MASTER
   Ab 20.04.2021

LUFG INFORMATIK 5
Cooperation Systems

CSCW, Groupware and Blockchain

Prof. Dr. Wolfgang Prinz

MASTER
   Ab 14.04.2021

LUFG INFORMATIK 9
Learning Technologies

Learning Technologies

Prof. Dr.-Ing. Ulrik Schroeder

MASTER
   Ab 15.04.2021

Angewandte Informatik

LUFG INFORMATIK 8
Computer Animation

Advanced Techniques in Physically-Based Animation

Prof. Dr. Jan Bender

MASTER
   Ab 13.04.2021

LUFG INFORMATIK 12
Virtual Reality & Immersive Visualization

Special Topics of Virtual Reality

Prof. Dr. Torsten Kuhlen

MASTER
   Ab 20.04.2021

LUFG INFORMATIK 12
Software and Tools for Computational Engineering

Introduction to Numerical Methods and Software

Prof. Dr. Uwe Naumann

BACHELOR & MASTER
   Ab 13.04.2021

LUFG INFORMATIK 12
Software and Tools for Computational Engineering

Combinatorial Problems in Scientific Computing

Prof. Dr. Uwe Naumann

MASTER
   Ab 13.04.2021

INFORMATIK 8
Computer Graphics
and Multimedia

Geometry Processing

Prof. Dr. Leif Kobbelt

MASTER
   Ab 15.04.2021

CSSH
Computational Social Sciences and Humanities

Social Networks

Prof. Dr. Markus Strohmaier

BACHELOR & MASTER
   Ab 13.04.2021

CSSH
Computational Social Sciences and Humanities

Web Mining

Prof. Dr. Markus Strohmaier

BACHELOR & MASTER
   Ab 14.04.2021

INFORMATIK 8
Computer Graphics
and Multimedia

Data driven Methods for 3D Shape Analysis

Prof. Dr. Leif Kobbelt

MASTER
   Ab 15.04.2021

INFORMATIK 10
Media Computing Group

Designing Interactive Systems 2

Prof. Dr. Jan Borchers

MASTER
   Ab 19.04.2021

INFORMATIK 10
Media Computing Group

Current Topics in HCI

Prof. Dr. Jan Borchers

MASTER
   Ab 14.04.2021

INFORMATIK 12
High Performance Computing

Concepts and Models for Parallel and Data-centric Programming

Dr. rer. nat. Christian Terboven

BACHELOR & MASTER
   Ab 19.04.2021

INFORMATIK 12
High Performance Computing

Performance and Correctness Analysis of Parallel Programs

Dr. rer. nat. Matthias Müller

BACHELOR & MASTER
   Ab 20.04.2021

INFORMATIK 13
Computer Vision

Computer Vision

Prof. Dr. Bastian Leibe

BACHELOR & MASTER
   Ab 15.04.2021

INFORMATIK 13
Computer Vision

Advanced Machine Learning

Prof. Dr. Bastian Leibe

MASTER
   Ab 13.04.2021