Alumni
| Name | Promotionsprojekt | |
|---|---|---|
| Ehemalige assoziierte Promotionsstudentin Katrin Dannert M. Sc. RWTH | Provenance Analysis for Logic and Games | |
| Ehem. Assoziierter Postdoc Dr. Sebastian Junges M. Sc. RWTH | Parameter Synthesis for Markov Models | |
| Ehem. Assoziierter Postdoc Dr. Benjamin Kaminski | Advanced Weakest Precondition Calculi for Probabilistic Programs | |
| Ehem. Assoziierter Postdoc Dr. Stefan Schupp M. Sc. RWTH | State Set Representations for Hybrid Systems Reachability Analysis | |
| Ehem. Assoziierte Postdoc Laura Vargas Koch M. Sc. | ||
| Ehem. Assoziierter Postdoc Dr. Norman Weik | Stochastic Models for Capacity Analysis in Railway Networks - An Approach Capturing Network Effects and Component Failures | |
| Ehem. Assoziierter Postdoc Dr. Stefan Wüller | Privacy-preserving electronic bartering |
Alumni Hiwis
| Name |
|---|
| Studentische Hilfskraft Mariia Anapolska |
| 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 Dustin Jungen |
| Studentische Hilfskraft Lutz Klinkenberg |
| Studentische Hilfskraft Tom Küspert |
| Studentische Hilfskraft Anaïs Morel |
| Studentische Hilfskraft Rishi Sharma |
| Studentische Hilfskraft Jan Tönshoff |
| Studentische Hilfskraft Marius Völkel |
| Studentische Hilfskraft Lucas Wollenhaupt |