Alumni
Name | Promotionsprojekt | |
---|---|---|
Ehem. assoziierte Promotionsstudentin | 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 | State Set Representations for Hybrid Systems Reachability Analysis | |
Ehem. Assoziierte Postdoc Laura Vargas Koch M. Sc. | Competitive variants of discrete and continuous flows over time | |
Ehem. Assoziierter Promotionsstudent Matthias Volk M. Sc. RWTH | 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 Postdoc Dr. Stefan Wüller | Privacy-preserving electronic bartering |
Alumni Hiwis
Name |
---|
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 |