Completed Doctorates

  champagne glasses © Stefan Hense

Successfully completed doctorates. Congratulations to our RTG members who successfully defended their PhD. 

 
Year Name Title Related Projects
2023 Dr. Till Hofmann Towards Bridging the Gap between High-Level Reasoning and Execution on Robots Stefan Schupp: State set representations and their usage in the reachability analysis of hybrid
2023 Dr. Jip Spel Monotonicity in Markov Models Dr. Sebastian Junges: Parameter synthesis in Markov models

Tobias Winkler: Programming and Verifying Uncertain Phenomena

2022 Dr. Daxin Liu Projection in a probabilistic epistemic logic and its application to belief-based program verification  
2022 Dr. Rebecca Haehn Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties Jasper Nalbach: Algebraic Methods in SMT-Solving
Norman Weik: Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability
Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas
2022 Dr. Janosch Fuchs Graph Exploration with Advice (and Online Crossing Minimization) Dennis Fischer: Optimization under Uncertainty 
Björn Tauer: The impact of coordination within transportation networks
Laura Vargas Koch: Competitive variants of discrete and continuous flows over time
Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas
2022 Dr. Matthias Volk Dynamic Fault Trees: Semantics, Analysis and Applications Norman Weik: Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability
Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas
2021 Dr. Martin Ritzert Learning on graphs with logic and neural networks  
2021 Dr. Vipin Ravindran Vijayalakshmi Selfishness in strategic resource allocation problems  
2021 Dr. Peter Lindner

The theory of infinite probabilistic databases

Marcel Hark: Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs
Benjamin Kaminski: Advanced weakest precondition calculi for probabilistic programs
Tobias Winkler: Programming and Verifying Uncertain Phenomena
2021 Dr. Richard Wilke Reasoning about dependence and independence : teams and multiteams  
2021 Dr. Marcel Hark Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs Benjamin Kaminski: Advanced weakest precondition calculi for probabilistic programs
Peter Lindner: The Theory of Infinite Probabilistic Databases
Dominik Meier: Termination and Complexity Analysis of Probabilistic Programs
2021 Dr. Martin Comis Robust primary care systems

Mariia Anapolska: Robust Appointment Scheduling in Hospitals
Christoph Grüne: Complexity and Algorithms in Optimization under Uncertainty
Tabea Krabs: Robust Hospital Management
Dr. Björn Tauer: The impact of coordination within transportation networks
Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas

2021 Dr. Anton Pirogov Determinization and ambiguity of classical and probabilistic Büchi automata  
2020 Dr. Laura Vargas Koch Competitive variants of discrete and continuous flows over time

Janosch Fuchs: Special Online Problems with Advice
Dr. Björn Tauer: The impact of coordination within transportation networks
Tabea Krabs: Robust Hospital Management Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas

2020 Dr. Björn Tauer The impact of coordination within transportation networks

Dennis Fischer: Optimization under Uncertainty
Janosch Fuchs: Special Online Problems with Advice
Dr. Laura Vargas Koch: Competitive variants of discrete and continuous flows over time
Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas

2020 Dr. Norman Weik Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability Nadine Friesen: Robust Infrastructure
Rebecca Haehn: Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties
Matthias Volk: Dynamic Fault Trees: Semantics, Analysis and Applications
Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas
  Dr. Sebastian Junges Parameter synthesis in Markov models Dr. Benjamin Kaminski: Advanced weakest precondition calculi for probabilistic programs
Dr. Jip Spel: Monotonicity in Parametric Markov Chains
2019 Dr. Stefan Schupp    State set representations and their usage in the reachability analysis of hybrid

Till Hofmann: Robust Execution of Abstract Task Plans on Mobile Robots

2019 Dr. Benjamin Kaminski Advanced weakest precondition calculi for probabilistic programs Marcel Hark: Automated Runtime Analysis of Probabilistic Programs
Peter Lindner: The Theory of Infinite Probabilistic Databases
Tobias Winkler: Programming and Verifying Uncertain Phenomena
2018 Dr. Stefan Wüller Privacy-preserving electronic bartering Andreas Klinger: Privacy Preserving Online Algorithms