Teaching
Schwerpunktkolloquium
For Schwerpunktkolloquium, Prof. Ábrahám offers exams based on the lectures “Satisfiability Checking” and “Modeling and Analysis of Hybrid Systems”. Combinations with lectures of Prof. Katoen, Prof. Giesl and other courses are also possible, please contact us for clarification.Winter Term 2026/2027
Satisfiability Checking
Lecture · Bachelor / Master
Teachers: Erika Ábrahám, Jasper Nalbach, Valentin Promies
Summer Term 2026
Renewable Energy: Simulation on Mobile using Swift
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Valentin Promies, Jasper Nalbach
Wind Farms: WebApp and Simulation
Software Projektpraktikum · Bachelor
Teachers: Erika Ábrahám, Pascal Richter
Winter Term 2025/2026
Satisfiability Checking
Lecture · Bachelor / Master
Teachers: Erika Ábrahám, Jasper Nalbach, Valentin Promies
Simulation and Web Application of Renewable Energy
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter
Simulation and Web Application of Renewable Energy
Software Projektpraktikum · Bachelor
Teachers: Erika Ábrahám, Pascal Richter
Summer Term 2025
Datenstrukturen und Algorithmen
Lecture · Bachelor
Teachers: Erika Ábrahám, Lina Gerlach, Nicolai Radke
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Valentin Promies, László Antal, József Kovács, Jasper Nalbach
Simulation and Web Application of Renewable Energy
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter
Winter Term 2024/2025
Formal Methods
Proseminar · Bachelor
Teachers: Erika Ábrahám, László Antal, Lina Gerlach, József Kovács
Planning, Simulation, and Optimization of Wind Farms
Practical Lab · Master
Teachers: Erika Ábrahám, Nicolai Radke
Satisfiability Checking
Lecture · Bachelor / Master
Teachers: Erika Ábrahám, Jasper Nalbach, Valentin Promies
Summer Term 2024
Planning, Simulation, and Optimization of Wind Farms
Practical Lab · Master
Teachers: Erika Ábrahám, Nicolai Radke
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Valentin Promies, László Antal
Simulation and Web Application of Renewable Energy
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter, Henning Petzka
Winter Term 2023/2024
Planning, Simulation, and Optimization of Wind Farms
Practical Lab · Master
Teachers: Erika Ábrahám, Nicolai Radke
Satisfiability Checking
Lecture · Bachelor / Master
Teachers: Erika Ábrahám, Jasper Nalbach, Valentin Promies
Summer Term 2023
Efficient Buildings App
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter, Henning Petzka
Formal Methods
Seminar · Bachelor
Teachers: Erika Ábrahám, László Antal, Lina Gerlach, József Kovács, Valentin Promies
Planning, Simulation, and Optimization of Wind Farms
Practical Lab · Master
Teachers: Erika Ábrahám, Nicolai Radke
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, László Antal, Lina Gerlach, József Kovács, Jasper Nalbach, Valentin Promies
Web Application for the Simulation of Solar Thermal Power Plants
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter, Henning Petzka
Wind Farm App in 3D using Machine Learning
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter, Henning Petzka
Winter Term 2022/2023
Formal Methods
Seminar · Bachelor
Teachers: Erika Ábrahám, László Antal, Lina Gerlach, József Kovács, Valentin Promies, Nicolai Radke
Satisfiability Checking
Lecture · Bachelor / Master
Teachers: Erika Ábrahám, Jasper Nalbach, Valentin Promies
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, László Antal, Lina Gerlach, József Kovács, Nicolai Radke
Web Application for the Simulation of Solar Thermal Power Plants
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter
Wind Farm App in 3D using Machine Learning
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter
Summer Term 2022
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Rebecca Haehn, Jasper Nalbach, László Antal
Web Application for the Simulation of Solar Thermal Power Plants
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter
Wind Farm App in 3D using Machine Learning
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter
Winter Term 2021/2022
Formal Methods
Proseminar · Bachelor
Teachers: Erika Ábrahám, Rebecca Haehn, Jasper Nalbach, László Antal
Satisfiability Checking
Lecture · Bachelor / Master
Teachers: Erika Ábrahám, Rebecca Haehn, Jasper Nalbach
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Rebecca Haehn, Jasper Nalbach, László Antal
Web Application for the Simulation of Solar Thermal Power Plants
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter
Summer Term 2021
Machine Learning Competition for Smart Buildings
Practical Lab · Master
Teachers: Erika Ábrahám, Ahmed Abida
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Rebecca Haehn, Jasper Nalbach
Web Application for the Simulation of Solar Thermal Power Plants
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter
Winter Term 2020/2021
Neural Network Verification with Reluplex
Practical Lab · Master
Teachers: Erika Ábrahám, Jasper Nalbach
Satisfiability Checking
Lecture · Bachelor / Master
Teachers: Erika Ábrahám, Rebecca Haehn, Jasper Nalbach
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Rebecca Haehn, Jasper Nalbach
Summer Term 2020
Algorithmen und Datenstrukturen (Service)
Lecture · Bachelor
Teachers: Erika Ábrahám, Jasper Nalbach, Rebecca Haehn
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Rebecca Haehn, Jasper Nalbach, Stefan Schupp
Winter Term 2019/2020
Satisfiability Checking
Lecture · Bachelor / Master
Teachers: Erika Ábrahám, Rebecca Haehn, Gereon Kremer
Summer Term 2019
Agile Development of a Theory Solver for SMT
Software Projektpraktikum · Bachelor
Teachers: Erika Ábrahám, Rebecca Haehn, Gereon Kremer, Stefan Schupp
Heliostat Calibration with Drones in Solar Tower Power Plants
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter, Stefan Schupp
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Jürgen Giesl, Stefan Dollase, Florian Frohn, Rebecca Haehn, Marcel Hark, Jera Hensel, Korzeniewski, Gereon Kremer, Stefan Schupp
Winter Term 2018/2019
SMT Solving with Equality Logic and Uninterpreted Functions
Software Projektpraktikum · Bachelor
Teachers: Erika Ábrahám, Rebecca Haehn, Gereon Kremer
Web Application for Offshore Wind Farms
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter
Summer Term 2018
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Gereon Kremer, Francesco Leofante, Johanna Nellen, Stefan Schupp
SMT Solving for Real Arithmetic with ICP
Software Projektpraktikum · Bachelor
Teachers: Erika Ábrahám, Gereon Kremer, Stefan Schupp
Web Application for Offshore Wind Farms
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter
Winter Term 2017/2018
SMT Solving for Real Arithmetic with ICP
Practical Lab · Master
Teachers: Erika Ábrahám, Stefan Schupp
Uncertainty Quantification of Agent-Based Computational Financial Market Models
Practical Lab · Master
Teachers: Erika Ábrahám, Torsten Trimborn
Summer Term 2017
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Jürgen Giesl, Florian Frohn, Jera Hensel, Gereon Kremer, Johanna Nellen, Stefan Schupp
Selected Topics in Renewable Energy
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter, Martin Frank
SMT Solving for Real Arithmetic with ICP
Practical Lab · Master
Teachers: Erika Ábrahám, Gereon Kremer, Stefan Schupp
SMT Solving for Real Arithmetic with Simplex
Practical Lab · Master
Teachers: Erika Ábrahám, Gereon Kremer, Stefan Schupp
Uncertainty Quantification of Agent-Based Computational Financial Market Models
Practical Lab · Master
Teachers: Erika Ábrahám, Torsten Trimborn, Martin Frank
Winter Term 2016/2017
Datatypes for Polytopes and their Application for the Analysis of Hybrid Systems
Practical Lab · Master
Teachers: Erika Ábrahám, Stefan Schupp
Hybrid Systems Verification
Seminar · Master
Teachers: Erika Ábrahám, Gereon Kremer, Johanna Nellen, Stefan Schupp
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Gereon Kremer, Johanna Nellen, Stefan Schupp
Selected Topics in Renewable Energy
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter, Martin Frank
State Set Representation Techniques for Hybrid Systems
Practical Lab · Master
Teachers: Erika Ábrahám, Stefan Schupp
Uncertainty Quantification of Agent-Based Computational Financial Market Models
Practical Lab · Master
Teachers: Erika Ábrahám, Torsten Trimborn, Martin Frank
Summer Term 2016
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Jürgen Giesl, Florian Corzilius, Florian Frohn, Jera Hensel, Gereon Kremer, Johanna Nellen, Stefan Schupp
Selected Topics in Renewable Energy
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter, Martin Frank
SMT Solving with Equality Logic and Uninterpreted Functions
Software Projektpraktikum · Bachelor
Teachers: Erika Ábrahám, Florian Corzilius, Gereon Kremer
Winter Term 2015/2016
Algorithms and Tools for Verification
Proseminar · Bachelor
Teachers: Erika Ábrahám, Florian Corzilius, Gereon Kremer, Johanna Nellen
Renewable Energy Web Application
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter, Martin Frank
Satisfiability Checking
Lecture · Bachelor / Master
Teachers: Erika Ábrahám, Florian Corzilius, Gereon Kremer
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Florian Corzilius, Gereon Kremer, Johanna Nellen, Stefan Schupp
SMT Solving with Equality Logic and Uninterpreted Functions
Software Projektpraktikum · Bachelor
Teachers: Erika Ábrahám, Florian Corzilius, Gereon Kremer
State Set Representation Techniques for Hybrid Systems
Practical Lab · Master
Teachers: Erika Ábrahám, Stefan Schupp
Summer Term 2015
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Jürgen Giesl, Cornelius Aschermann, Florian Corzilius, Florian Frohn, Jera Hensel, Gereon Kremer, Johanna Nellen, Stefan Schupp, Thomas Ströder
SMT Solving with Equality Logic and Uninterpreted Functions
Software Projektpraktikum · Bachelor
Teachers: Erika Ábrahám, Florian Corzilius, Gereon Kremer
Winter Term 2014/2015
Algorithms and Tools for Verification
Proseminar · Bachelor
Teachers: Erika Ábrahám, Florian Corzilius, Gereon Kremer, Johanna Nellen, Stefan Schupp
Explorative Suche mit Lego Mindstorms Robotern
Software Projektpraktikum · Bachelor
Teachers: Erika Ábrahám, Johanna Nellen, Stefan Schupp
Safety Analysis for Hybrid Systems
Seminar · Master
Teachers: Erika Ábrahám, Stefan Kowalewski, Xin Chen, Makhlouf, Gereon Kremer
Satisfiability Checking
Lecture · Bachelor / Master
Teachers: Erika Ábrahám, Florian Corzilius, Gereon Kremer
SMT Solving with Equality Logic and Uninterpreted Functions
Practical Lab · Master
Teachers: Erika Ábrahám, Florian Corzilius, Gereon Kremer
Summer Term 2014
Datenstrukturen und Algorithmen
Lecture · Bachelor
Teachers: Erika Ábrahám, Florian Corzilius, Stefan Schupp, Thomas Ströder
Explorative Suche mit Lego Mindstorms Robotern
Software Projektpraktikum · Bachelor
Teachers: Erika Ábrahám, Johanna Nellen
Optimierung eines Solarturmkraftwerks
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter, Martin Frank
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Cornelius Aschermann, Xin Chen, Florian Frohn, Jürgen Giesl, Gereon Kremer, Ulrich Loup, Johanna Nellen, Thomas Ströder
Wurzeln der Informatik
Proseminar · Bachelor
Teachers: Erika Ábrahám, Xin Chen, Florian Corzilius, Gereon Kremer, Ulrich Loup, Stefan Schupp
Winter Term 2013/2014
Algorithms and Tools for Verification
Proseminar · Bachelor
Teachers: Erika Ábrahám, Xin Chen, Florian Corzilius, Nils Jansen, Gereon Kremer, Ulrich Loup, Johanna Nellen, Stefan Schupp
Optimierung eines Solarturmkraftwerks
Practical Lab · Master
Teachers: Erika Ábrahám, Pascal Richter, Franke
Summer Term 2013
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Jürgen Giesl, Marc Brockschmidt, Florian Corzilius, Fabian Emmes, Nils Jansen, Ulrich Loup, Johanna Nellen, Carsten Otto, Stefan Schupp, Thomas Ströder
Winter Term 2012/2013
Algorithms and Tools for Verification
Proseminar · Bachelor
Teachers: Erika Ábrahám, Xin Chen, Florian Corzilius, Nils Jansen, Ulrich Loup, Johanna Nellen
Explorative Suche mit Lego Mindstorms Robotern
Software Projektpraktikum · Bachelor
Teachers: Erika Ábrahám, Johanna Nellen
Satisfiability Checking
Lecture · Bachelor / Master
Teachers: Erika Ábrahám, Florian Corzilius, Nils Jansen, Ulrich Loup
Summer Term 2012
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Jürgen Giesl, Marc Brockschmidt, Florian Corzilius, Fabian Emmes, Nils Jansen, Ulrich Loup, Johanna Nellen, Carsten Otto, Thomas Ströder
Winter Term 2011/2012
Explorative Suche mit Lego Mindstorms Robotern
Software Projektpraktikum · Bachelor
Teachers: Erika Ábrahám, Johanna Nellen
Satisfiability Checking
Lecture · Bachelor / Master
Teachers: Erika Ábrahám, Florian Corzilius, Nils Jansen, Ulrich Loup
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Jürgen Giesl, Marc Brockschmidt, Florian Corzilius, Fabian Emmes, Carsten Fuhs, Nils Jansen, Ulrich Loup, Johanna Nellen, Carsten Otto, Thomas Ströder
Summer Term 2011
Real Time Systems
Proseminar · Bachelor
Teachers: Erika Ábrahám, Xin Chen, Florian Corzilius, Nils Jansen, Ulrich Loup, Johanna Nellen
Winter Term 2010/2011
Explorative Suche mit Lego Mindstorms Robotern
Software Projektpraktikum · Bachelor
Teachers: Erika Ábrahám, Johanna Nellen
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Carsten Fuhs, Nils Jansen, Ulrich Loup, Johanna Nellen, Carsten Otto, Thomas Ströder
Summer Term 2010
Winter Term 2009/2010
Satisfiability Checking
Seminar · Bachelor / Master
Teachers: Erika Ábrahám, Jürgen Giesl, Xin Chen, Fabian Emmes, Carsten Fuhs, Nils Jansen, Ulrich Loup, Carsten Otto
Summer Term 2009
Model Checking Probabilistic Systems
Seminar · Master
Teachers: Erika Ábrahám, Joost-Pieter Katoen, Daniel Klink, Nils Jansen, Ulrich Loup