Vorlesungen und Seminare
Zweit Arten von Vorlesungen sind hier aufgeführt. Einerseits zum Forschungsbereich von UnRAVeL passende Vorlesungen aus dem existierendem Masterprogramm und zum Zweiten Vorlesungen, die auf UnRAVeL zugeschnitten sind.
| 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 |