Alumni
Alumni PIs
| Name | |
|---|---|
| Former Supervisor Universitätsprofessor Dr. phil. Erich Grädel | |
| Former Supervisor Universitätsprofessorin 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 Dr. Marcel Hark M. Sc. RWTH | Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs | |
| 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 M. Sc. | The Theory of Infinite Probabilistic Databases | |
| Former Doctoral researcher Dominik Meier M. Sc. RWTH | ||
| 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 | |
| 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 |
Alumni Hiwis
| Name |
|---|
| 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 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 Svenja Stein |
| Student Assistant Jan Tönshoff |
| Student Assistant Marius Völkel |
| Student Assistant Lucas Wollenhaupt |