Lectures

 

Two types of advanced lectures are provided: appropriate lectures that are part of existing Master programmes in Aachen, and new lectures  that are tailored to the needs and topics of the UnRAVeL. Note that the course on Machine Learning is taught by Bastian Leibe, a colleague in the Computer Science Department. This lecture introduces statistical learning and probabilistic inference techniques as used in many real-world applications. Its focus is on the fundamental machine learning know-how that underlies such capabilities.

 
Tailored courses for UnRAVeL
Dozentin/Dozent Titel Semester
Nils Nießen

Railway Capacity Management and Operations

WiSe2018
Erich Grädel Logics for Reasoning about Uncertainty SoSe2017
Joost-Pieter Katoen/Jürgen Giesl Verifying Probabilistic Programs SoSe2015
 
Advanced Courses, Wintersemester 2018/2019
Dozentin/Dozent Titel
Christina Büsing

Theorie der Graphen- und Netzwerkoptimierung

Erich Grädel Logic and Games
Martin Grohe Graph Decompositions and Algorithmic Applications
Martin Grohe Komplexitätstheorie
Joost-Pieter Katoen Modellierung und Verifikation probabilistischer Systeme
Joost-Pieter Katoen Probabilistische Programmierung
Gerhard Lakemeyer Introduction to Artificial Intelligence
Bastian Leibe Machine Learning
Bastian Leibe Advanced Machine Learning
Christof Löding Infinite Computations and Games
Christof Löding Stochastic Games
Ulrike Meyer IT-Sicherheit 1 – Netzwerksicherheit
Nils Niessen Railway Capacity Management and Operations
Britta Peis Algorithmic Game Theory II
Walter Unger Algorithmische Graphentheorie

Summersemester 2018
Dozentin/Dozent Titel
Erika Ábrahám Modellierung und Analyse hybrider Systeme
Martin Grohe Algorithmische Lerntheorie
Christof Löding Advanced Automata Theory
Joost-Peiter Katoen Introduction to Model Checking
Ulrike Meyer Sicherheit in der Mobilkommunikation
Nils Nießen Ausgewählte Aspekte des Schienenbahnwesens
Nils Nießen Betrieb und Management von Schienengüterverkehrssystemen
Nils Nießen Betrieb und Management von Schienenpersonenverkehrssystemen
Nils Nießen Eisenbahnsicherungstechnik II
Gerhard Wöginger Algorithmische Geometrie

Weiterführende Vorlesungen, Wintersemester 2017/2018
Dozentin/Dozent Titel
Erika Ábrahám Satisfiability Checking
Martin Grohe Foundations of Data Science
Martin Grohe Rekursionstheorie
Joost-Pieter Katoen Concurrency Theory
Joost-Pieter Katoen Theoretical Foundations of the UML
Gerhard Lakemeyer Introduction to Artificial Intelligence
Christof Löding Infinite Computations and Games
Ulrike Meyer IT-Sichertheit 1 - Netzwerksicherheit
Ulrike Meyer IT-Sichertheit 2
Nils Nießen Eisenbahnbetriebswissenschaft
Nils Nießen Eisenbahnsicherungstechnik I
Nils Nießen Eisenbahnwesen II
Nils Nießen Railway Capacity Management and Operations
Britta Peis Corporate Social Responsibility
Bastian Leibe
(Colleque in Computer Science Departement)
Machine Learning
Walter Unger Algorithmische Graphentheorie