Elective Courses Winter 2021/2022

Theoretical Computer Science

1. Concurrency Theory
2. Infinite Computations and Games
3. Complexity Theory
4. Algorithmic Learning Theory
5. Parameterized Algorithms
6. Theoretical Foundations of the UML
7. Satisfiability Checking

Software and Communication

1. Communication Systems Engineering
2. Object Oriented Software Construction
3. Software Architectures
4. Model-Based Software/Systems Engineering
5. Der digitale Lebenszyklus von Fahrzeugen als Teil des Internet of Things (IoT)
6. Formal Methods for Logic Control Software
7. Advanced Internet Technology

Data and Information Management

1. Web Science
2. Introduction to Web Technologies (WebTech 1)
3. Introduction to Data Science (IDS)
4. Algorithmic Cryptography
5. Implementation of Databases
6. Introduction to Artificial Intelligence
7. IT-Security 1

Applied Computer Science

1. Introduction to Algorithmic Differentiation
2. Dynamical Processes on Networks
   
3. Control and Perception in Networked and Autonomous Vehicles​
4. Einführung in die Virtuelle Realität (VR I)
5. Designing Interactive Systems 1 (DIS 1)
6. iOS Application Development
7. Introduction to High-Performance Computing
8. Automatic Speech Recognition
9. Advanced Topics in Human Language Technology and Machine Learning
10. Machine Learning
11. Computer Vision 2

Theoretical Computer Science

INFORMATIK 2
Software Modeling and Verifcation

Concurrency Theory

apl.-Prof. Dr. Thomas Noll

MASTER
Starts 12.10.2021

INFORMATIK 7
Logic and Theory of Discrete Systems

Infinite Computations and Games

Prof. Dr. Christof Löding

MASTER
Starts 19.10.2021

INFORMATIK 7
Logic and Theory of Discrete Systems

Complexity Theory

Prof. Dr. Martin Grohe

BACHELOR & MASTER
Starts 14.10.2021

INFORMATIK 7
Logic and Theory of Discrete Systems

Algorithmic Learning Theory

Prof. Dr. Martin Grohe

MASTER
Starts 14.10.2021

LuFG TI
Theoretical Computer Science

Parameterized Algorithms

Prof. Dr. Peter Rossmanith

MASTER
Starts 15.10.2021

INFORMATIK 2
Software Modeling and Verification

Theoretical Foundations of the UML

Prof. Dr. Joost-Pieter Katoen

MASTER
Starts 14.10.2021

LuFG THS
Theory of Hybrid Systems

Satisfiability Checking

Prof. Dr. Erika Abraham

BACHELOR & MASTER
   Starts 12.10.2021

Software and Communication

INFORMATIK 4
Communication and Distributed Systems

Communication Systems Engineering

Dr. Dirk Thißen, RWTH Lecturer

BACHELOR & MASTER
   Starts 14.10.2021

LUFG INFORMATIK 3
Software Construction

Object Oriented Software Construction

Prof. Dr. Horst Lichter

MASTER
   Starts 13.10.2021

INFORMATIK 3
Software Engineering

Software Architectures

Prof. Dr. Manfred Nagl

BACHELOR & MASTER
   Starts 14.03.2022
Block lecture, tutorial in summer

INFORMATIK 3
Software Engineering

Model-Based Software/Systems Engineering

Prof. Dr. Bernhard Rumpe

BACHELOR & MASTER
   Starts 12.10.2021

INFORMATIK 3
Software Engineering

Der digitale Lebenszyklus von Fahrzeugen als Teil des Internet of Things (IoT)

Dr. Ansgar Schleicher

MASTER
   Starts 29.10.2021

INFORMATIK 11
Embedded Software

Formal Methods for Logic Control Software

Marcus Völker, M.Sc. RWTH

MASTER
Starts 15.10.2021

INFORMATIK 4
Communication and Distributed Systems

Advanced Internet Technology

Prof. Dr. Klaus Wehrle

BACHELOR & MASTER
Starts 14.10.2021

Data- and Information Management

INFORMATIK 5
Information Systems

Web Science

PD Dr. Ralf Klamma

MASTER
   Starts 15.10.2021

LUFG INFORMATIK 9
Learning Technologies

Introduction to Web Technologies (WebTech 1)

Prof. Dr. Ulrik Schroeder

BACHELOR
Starts 14.10.2021

INFORMATIK 9
Process and Data Science

Introduction to Data Science (IDS)

Prof. Dr. ir. Wil van der Aalst

MASTER
   Starts 13.10.2021

INFORMATIK 1
Algorithms and Complexity

Algorithmic Cryptography

Dr. Walter Unger

MASTER
Starts 19.10.2021

DSMA, INFORMATIK 5
Data Stream Management and Analysis

Implementation of Databases

Prof. Dr. Sandra Geisler

BACHELOR & MASTER
Starts 15.10.2021

LUFG KBSG
Knowledge-based Systems

Introduction to Artificial Intelligence

Prof. Gerhard Lakemeyer, Ph.D.

BACHELOR & MASTER
Starts 19.10.2021

LUFG INFORMATIK 4
IT-Security

IT-Security 1

Prof. Dr. Ulrike Meyer

MASTER
Starts 19.10.2021

Applied Computer Science

LUFG INFORMATIK 12
Software and Tools for Computational Engineering

Introduction to Algorithmic Differentiation

Prof. Dr. Uwe Naumann

BACHELOR & MASTER
   Starts 12.10.2021

LUFG INFORMATIK 4
Computational Network Science

Dynamical Processes on Networks

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

BACHELOR & MASTER
   Starts 14.10.2021

INFORMATIK 11
Embedded Software

Control and Perception in Networked and Autonomous Vehicles

Dr. Bassam Alrifaee

MASTER
Starts 14.10.2021

LUFG INFORMATIK 12
Virtual Reality

Einführung in die Virtuelle Realität (VR I)

Prof. Dr. Torsten W. Kuhlen

MASTER
Starts 20.10.2021

INFORMATIK 10
Human-Computer Interaction

Designing Interactive Systems 1 (DIS 1)

Prof. Dr. Jan Borchers

BACHELOR & MASTER
   Starts 13.10.2021

INFORMATIK 10
Human-Computer Interaction

iOS Application Development

Prof. Dr. Jan Borchers

BACHELOR & MASTER
   Starts 12.10.2021

INFORMATIK 12
High-Performance Computing

Introduction to High-Performance Computing

Prof. Dr. Matthias Müller

BACHELOR & MASTER
   Starts 13.10.2021

INFORMATIK 6
Human Language Technology and Machine Learning

Automatic Speech Recognition

PD Dr. Ralf Schlüter

BACHELOR & MASTER
 

INFORMATIK 6
Human Language Technology and Machine Learning

Advanced Topics in Human Language Technology and Machine Learning

Sen. Prof. Dr.-Ing. Hermann Ney

MASTER
 

INFORMATIK 13
Computer Vision

Machine Learning

Prof. Dr. Bastian Leibe

MASTER
Starts 13.10.2021

INFORMATIK 13
Computer Vision

Computer Vision 2

Prof. Dr. Bastian Leibe

MASTER
Starts 14.10.2021