Alumni
| Name | Promotionsprojekt | |
|---|---|---|
| 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. 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 Kevin Batz |
| Studentische Hilfskraft Alexander Bork |
| Studentische Hilfskraft Malte Breuer |
| Studentische Hilfskraft Mostafa Gomaa |
| Studentische Hilfskraft Dustin Jungen |
| Studentische Hilfskraft Lutz Klinkenberg |
| Studentische Hilfskraft Tom Küspert |
| Studentische Hilfskraft Jan Tönshoff |
| Studentische Hilfskraft Marius Völkel |