Alumni
| 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. assoziierter Promotionsstudent Dr. Marcel Hark M. Sc. RWTH | Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs | |
| 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 M. Sc. | The Theory of Infinite Probabilistic Databases | |
| 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 Postdoc Dr. Stefan Schupp | State Set Representations for Hybrid Systems Reachability Analysis | |
| 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 Matthias Volk | Verifying Fault Trees for Railway Safety | |
| 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 M. Sc. RWTH | Reasoning about Dependence and Independence: Teams and Multiteams | |
| Ehem. assoziierter Postdoc Dr. Stefan Wüller | Privacy-preserving electronic bartering |
Alumni Hiwis
| Name |
|---|
| 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 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 Nils Lommen |
| Studentische Hilfskraft David Meichel |
| Studentische Hilfskraft Anaïs Morel |
| 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 |