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