Lectures and seminars
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.
| Dozentin/Dozent | Titel | Semester |
|---|---|---|
| All Pis | Survey Lecture UnRAVeL | SS 18, SS 19, SS 21 |
| Erika Ábrahám | Modeling and Analysis of Hybrid Systems | SS 18, SS 19, SS 20, SS 21 |
| Erich Grädel | Logics for Reasoning about Uncertainty | SS 17, SS 19, SS 21 |
| Christof Löding | Stochastic Games | WS 18/19 |
| Joost-Pieter Katoen | Probabilistic Programming | WS 18/19, WS 20/21 |
| Gerhard Lakemeyer | Uncertainty in Robotics | SS 20 |
| Dozentin/Dozent | Titel |
|---|---|
| Erika Ábrahám | |
| Christina Büsing | |
| Jürgen Giesl | |
| Martin Grohe | |
| Martin Grohe | |
| Joost-Pieter Katoen | |
| Gerhard Lakemeyer | The Logic of Knowledge Bases |
| Christof Löding | |
| Ulrike Meyer | |
| Ulrike Meyer | Security in Mobile Communication |
| Dozentin/Dozent | Titel |
|---|---|
| Erika Ábrahám / Jürgen Giesl | |
| Martin Grohe | |
| Martin Grohe |
| Dozentin/Dozent | Titel |
|---|---|
| Erika Ábrahám | Satisfiability Checking |
| Christina Büsing | |
| Erich Grädel | Mathematical Logic II |
| Martin Grohe | |
| Joost-Pieter Katoen | |
| Joost-Pieter Katoen | |
| Gerhard Lakemeyer | |
| Bastian Leibe | |
| Christof Löding | |
| Ulrike Meyer | |
| Nils Nießen | Railway Systems |
| Dozentin/Dozent | Titel |
|---|---|
| Christina Büsing | Discrete Optimisation |
| Joost-Pieter Katoen | |
| Jürgen Giesl | Verification Techniques |
| Joost-Pieter Katoen | |
| Ulrike Meyer |
| Dozentin/Dozent | Titel |
|---|---|
| Erika Ábrahám | Modeling and Analysis of Hybrid Systems |
| Christina Büsing | |
| Jürgen Giesl | |
| Erich Grädel | Quanten-Computing |
| Martin Grohe | |
| Martin Grohe | |
| Gerhard Lakemeyer | |
| Gerhard Lakemeyer | |
| Christof Löding | |
| Ulrike Meyer | |
| Nils Nießen | Railway Timetabling, Operation and Control Systems |
| Britta Peis | |
| Gerhard Woeginger | Online Algorithms |
|
Dozentin/Dozent |
Titel |
|---|---|
|
Erika Ábrahám |
|
| Christina Büsing | Graph and Network Optimization |
| Joost-Pieter Katoen | Probabilistic Programming |
| Joost-Pieter Katoen | Introduction to Model Checking |
| Gerhard Lakemeyer | Introduction to Artificial Intelligence |
| Bastian Leibe | |
| Christof Löding | Infinite Computations and Games |
|
Britta Peis |
| Dozentin/Dozent | Titel |
|---|---|
| Erika Ábrahám / Jürgen Giesl | Satisfiability Checking |
| Erika Ábrahám | Pattern Optimization of Renewable Energy |
| Joshua Moerman | |
| Erich Grädel | Seminar Logic, Complexity, Games: Logics for Reasoning about Uncertainty, Dependence and Independence |
| Jürgen Giesl | Verification Techniques |
| Joost-Pieter Katoen | Foundations of Probabilistic Programming |
| Gerhard Woeginger | Aktuelle Themen der Algorithmik (Master) |
| Dozentin/Dozent | Titel |
|---|---|
| Erika Ábrahám | Modeling and Analysis of Hybrid Systems |
| Christina Büsing | Mathematical heuristics for discrete optimization problems |
| Jürgen Giesl | Functional Programming |
| Erich Grädel | Logics for Reasoning about Uncertainty |
| Martin Grohe | Algorithmic Foundations of Datascience |
| Christof Löding | Advanced Automata Theory |
| Bastian Leibe | Advanced Machine Learning |
| Nils Nießen | Railway Timetabling, Operation and Control Systems |
| Britta Peis | Algorithmic Game Theory (for Computer Scientists) |
| Gerhard Woeginger | Combinatorial Graph Theory |
| Dozentin/Dozent | Titel |
|---|---|
| Christina Büsing | |
| Erich Grädel | Logic and Games |
| Martin Grohe | Complexity Theory |
| Joost-Pieter Katoen | Modeling and Verification of Probabilistic Systems |
| Joost-Pieter Katoen | Probabilistic Programming |
| Gerhard Lakemeyer | Introduction to Artificial Intelligence |
| Bastian Leibe | Machine Learning |
| Christof Löding | Infinite Computations and Games |
| Christof Löding | Stochastic Games |
| Ulrike Meyer | IT-Security 1 - Network Security |
| Nils Nießen | Railway Capacity Management and Operations |
| Nils Nießen | Railway Systems |
| Britta Peis | Algorithmic Game Theory II |
| Dozentin/Dozent | Titel |
|---|---|
| Erika Ábrahám | Satisfiability Checking |
| Martin Grohe | Seminar Theory of Efficient Hashing Techniques |
| Jürgen Giesl | Verification Techniques |
| Joost-Pieter Katoen | Formal Verification Meets Machine Learning |
| Dozentin/Dozent | Titel |
|---|---|
| Erika Ábrahám | Modeling and Analysis of Hybrid Systems |
| Christina Büsing | Mathematical Heuristics in Discrete Optimisation |
| Martin Grohe | |
| Gerhard Lakemeyer | The Logic of Knowledge Bases |
| Christof Löding | Advanced Automata Theory |
| Joost-Peiter Katoen | Introduction to Model Checking |
| Ulrike Meyer | Security in Mobile Communication |
| Nils Nießen | Railway Timetabling, Operation and Control Systems |
| Gerhard Woeginger | Online Algorithms |
| Gerhard Woeginger | Algorithmische Geometrie |
| Dozentin/Dozent | Titel |
|---|---|
| Erika Ábrahám | Satisfiability Checking |
| Erich Grädel | |
| Martin Grohe | |
| Gerhard Lakemeyer | Introduction to Artificial Intelligence |
| Christof Löding | Infinite Computations and Games |
| Ulrike Meyer | IT-Sichertheit 1 - Netzwerksicherheit |
| Nils Nießen | Railway Capacity Management and Operations |
| Bastian Leibe | Machine Learning |
| Dozentin/Dozent | Titel |
|---|---|
| Joost-Pieter Katoen | Foundations of Probabilistic Programming |