Wahlpflichtfächer Winter 2021/2022

Theoretische Informatik​

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 und Kommunikation​

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

Daten- und Informations-management

1. Web Science
2. Einführung in Web Technologien
3. Introduction to Data Science (IDS)
4. Algorithmic Cryptography
5. Implementation of Databases
6. Introduction to Artificial Intelligence
7. IT-Security 1

Angewandte Informatik

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

Theoretische Informatik

INFORMATIK 2
Software Modeling and Verifcation

Concurrency Theory

apl.-Prof. Dr. Thomas Noll

MASTER
Ab 12.10.2021

INFORMATIK 7
Logic and Theory of Discrete Systems

Infinite Computations and Games

Prof. Dr. Christof Löding

MASTER
Ab 19.10.2021

INFORMATIK 7
Logic and Theory of Discrete Systems

Complexity Theory

Prof. Dr. Martin Grohe

BACHELOR & MASTER
Ab 14.10.2021

INFORMATIK 7
Logic and Theory of Discrete Systems

Algorithmic Learning Theory

Prof. Dr. Martin Grohe

MASTER
Ab 14.10.2021

LuFG TI
Theoretical Computer Science

Parameterized Algorithms

Prof. Dr. Peter Rossmanith

MASTER
Ab 15.10.2021

INFORMATIK 2
Software Modeling and Verification

Theoretical Foundations of the UML

Prof. Dr. Joost-Pieter Katoen

MASTER
Ab 14.10.2021

LuFG THS
Theory of Hybrid Systems

Satisfiability Checking

Prof. Dr. Erika Abraham

BACHELOR & MASTER
   Ab 12.10.2021

Software und Kommunikation

INFORMATIK 4
Communication and Distributed Systems

Communication Systems Engineering

Dr. Dirk Thißen, RWTH Lecturer

BACHELOR & MASTER
   Ab 14.10.2021

LUFG INFORMATIK 3
Software Construction

Object Oriented Software Construction

Prof. Dr. Horst Lichter

MASTER
   Ab 13.10.2021

INFORMATIK 3
Software Engineering

Software Architectures

Prof. Dr. Manfred Nagl

BACHELOR & MASTER
   Ab 14.03.2022
Blockvorlesung, Übung im SoSe

INFORMATIK 3
Software Engineering

Model-Based Software/Systems Engineering

Prof. Dr. Bernhard Rumpe

BACHELOR & MASTER
   Ab 12.10.2021

INFORMATIK 3
Software Engineering

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

Dr. Ansgar Schleicher

MASTER
   Ab 29.10.2021

INFORMATIK 11
Embedded Software

Formal Methods for Logic Control Software

Marcus Völker, M.Sc. RWTH

MASTER
Ab 15.10.2021

INFORMATIK 4
Communication and Distributed Systems

Advanced Internet Technology

Prof. Dr. Klaus Wehrle

BACHELOR & MASTER
Ab 14.10.2021

Daten- und Informationsmanagement

INFORMATIK 5
Information Systems

Web Science

PD Dr. Ralf Klamma

MASTER
   Ab 15.10.2021

LUFG INFORMATIK 9
Learning Technologies

Einführung in Web Technologien

Prof. Dr. Ulrik Schroeder

BACHELOR
Ab 14.10.2021

INFORMATIK 9
Process and Data Science

Introduction to Data Science (IDS)

Prof. Dr. ir. Wil van der Aalst

MASTER
   Ab 13.10.2021

INFORMATIK 1
Algorithms and Complexity

Algorithmic Cryptography

Dr. Walter Unger

MASTER
Ab 19.10.2021

DSMA, INFORMATIK 5
Data Stream Management and Analysis

Implementation of Databases

Prof. Dr. Sandra Geisler

BACHELOR & MASTER
Ab 15.10.2021

LUFG KBSG
Knowledge-based Systems

Introduction to Artificial Intelligence

Prof. Gerhard Lakemeyer, Ph.D.

BACHELOR & MASTER
Ab 19.10.2021

LUFG INFORMATIK 4
IT-Security

IT-Security 1

Prof. Dr. Ulrike Meyer

MASTER
Ab 19.10.2021

Angewandte Informatik

LUFG INFORMATIK 12
Software and Tools for Computational Engineering

Introduction to Algorithmic Differentiation

Prof. Dr. Uwe Naumann

BACHELOR & MASTER
   Ab 12.10.2021

LUFG INFORMATIK 4
Computational Network Science

Dynamical Processes on Networks

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

BACHELOR & MASTER
   Ab 14.10.2021

INFORMATIK 11
Embedded Software

Control and Perception in Networked and Autonomous Vehicles

Dr. Bassam Alrifaee

MASTER
Ab 14.10.2021

LUFG INFORMATIK 12
Virtual Reality

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

Prof. Dr. Torsten W. Kuhlen

MASTER
Ab 20.10.2021

INFORMATIK 10
Human-Computer Interaction

Designing Interactive Systems 1 (DIS 1)

Prof. Dr. Jan Borchers

BACHELOR & MASTER
   Ab 13.10.2021

INFORMATIK 10
Human-Computer Interaction

iOS Application Development

Prof. Dr. Jan Borchers

BACHELOR & MASTER
   Ab 12.10.2021

INFORMATIK 12
High-Performance Computing

Introduction to High-Performance Computing

Prof. Dr. Matthias Müller

BACHELOR & MASTER
   Ab 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
Ab 13.10.2021

INFORMATIK 13
Computer Vision

Computer Vision 2

Prof. Dr. Bastian Leibe

MASTER
Ab 14.10.2021