Alumni
Alumni PIs
Name | |
---|---|
Ehem. Betreuer Universitätsprofessor Prof. Dr. phil. Erich Grädel | |
Ehem. Betreuerin Universitätsprofessorin Prof. Dr.-Ing. Ulrike Meyer |
Alumni PhDs
Name | Promotionsprojekt | |
---|---|---|
Ehem. assoziierter Promotionsstudent Dr. Martin Comis M. Sc. RWTH | Robust Primary Care Systems | |
Ehem. assoziierte Promotionsstudentin Katrin Dannert M. Sc. | Provenance Analysis for Logic and Games | |
Ehem. Assoziierte Promotionsstudentin Nadine Friesen | Robust Infrastructure | |
Ehem. Promotionsstudent Dr. Janosch Fuchs | Graph Exploration with Advice (and Online Crossing Minimization) | |
Ehem. assoziierte Promotionsstudentin Dr. Rebecca Haehn | Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties | |
Ehem. assoziierter Promotionsstudent Dr. Marcel Hark | Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs | |
Ehem. assoziierter Promotionsstudent Till Hofmann M.Sc. | Robust Execution of Abstract Task Plans on Mobile Robots | |
Ehem. assoziierter Postdoc Dr. Sebastian Junges | Parameter Synthesis for Markov Models | |
Ehem. assoziierter Postdoc Dr. Benjamin Kaminski | Advanced Weakest Precondition Calculi for Probabilistic Programs | |
Ehem. assoziierter Promotionsstudent Dr. Peter Lindner | The Theory of Infinite Probabilistic Databases | |
Ehem. assoziierter Promotionsstudent Dr. Daxin Liu | Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based Program Verification | |
Ehem. Promotionsstudent Dominik Meier | ||
Ehem. Promotionsstudent Dr. Anton Pirogov | Automata-Theoretic Techniques in Probabilistic Verification | |
Ehem. Promotionsstudent Dr. Vipin Ravindran Vijayalakshmi | Analysis of Algorithms for Mathematical Optimization Problem under Uncertainty | |
Ehem. assoziierter Promotionsstudent Dr. Martin Ritzert | Learning on Graphs with Logic and Neural Networks | |
Ehem. assoziierter Postdoc Dr. Stefan Schupp | State Set Representations for Hybrid Systems Reachability Analysis | |
Ehem. Promotionsstudentin Jip Spel M. Sc. | Monotonicity in Markov Models | |
Ehem. assoziierter Promotionsstudent Dr. Björn Tauer | The Behavior of Systems with Selfish Users | |
Ehem. assoziierte Postdoc Dr. Laura Vargas Koch | Competitive variants of discrete and continuous flows over time | |
Ehem. assoziierter Promotionsstudent Dr. Matthias Volk | Dynamic Fault Trees: Semantics, Analysis and Applications | |
Ehem. assoziierter Postdoc Dr. Norman Weik | Stochastic Models for Capacity Analysis in Railway Networks - An Approach Capturing Network Effects and Component Failures | |
Ehem. assoziierter Promotionsstudent Dr. Richard Wilke | Reasoning about Dependence and Independence: Teams and Multiteams | |
Ehem. assoziierter Postdoc Dr. Stefan Wüller | Privacy-preserving electronic bartering | |
Ehem. Promotionsstudent Dr. Stephan Zieger | Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas |
Alumni Hiwis
Name |
---|
Studentische Hilfskraft Emma Ahrens |
Studentische Hilfskraft Rafael Albert |
Studentische Hilfskraft Felix Battermann |
Studentische Hilfskraft Kevin Batz |
Studentische Hilfskraft Valentin Bister |
Studentische Hilfskraft Alexander Bork |
Studentische Hilfskraft Malte Breuer |
Studentische Hilfskraft Tristan Ebert |
Studentische Hilfskraft Vincent Ehrmanntraut |
Studentische Hilfskraft Adrian Gallus |
Studentische Hilfskraft Mostafa Gomaa |
Studentische Hilfskraft Akshay Halande |
Studentische Hilfskraft Linus Heck |
Studentische Hilfskraft Alexander Immel |
Studentische Hilfskraft Dustin Jungen |
Studentische Hilfskraft Lutz Klinkenberg |
Studentische Hilfskraft Paul Kobialka |
Studentische Hilfskraft Tom Küspert |
Studentische Hilfskraft Johannes Lehmann |
Studentische Hilfskraft Nils Lommen |
Studentische Hilfskraft David Meichel |
Studentische Hilfskraft Anaïs Morel |
Studentische Hilfskraft Valentin Promies |
Studentische Hilfskraft Phil Pützstück |
Studentische Hilfskraft Thomas Schaefers |
Studentische Hilfskraft Rishi Sharma |
Studentische Hilfskraft Jan Tönshoff |
Studentische Hilfskraft Marius Völkel |
Studentische Hilfskraft Lucas Wollenhaupt |