Alumni
Name | Dissertation Project | |
---|---|---|
Former associate doctoral researcher | Provenance Analysis for Logic and Games | |
Former associate Postdoc Dr. Sebastian Junges M. Sc. RWTH | Parameter Synthesis for Markov Models | |
Former associate Postdoc Dr. Benjamin Kaminski | Advanced Weakest Precondition Calculi for Probabilistic Programs | |
Former associate Postdoc Dr. Stefan Schupp | State Set Representations for Hybrid Systems Reachability Analysis | |
Former associate Postdoc Laura Vargas Koch M. Sc. | Competitive variants of discrete and continuous flows over time | |
Former associate doctoral researcher Matthias Volk M. Sc. RWTH | Verifying Fault Trees for Railway Safety | |
Former associate Postdoc Dr. Norman Weik | Stochastic Models for Capacity Analysis in Railway Networks - An Approach Capturing Network Effects and Component Failures | |
Former associate Postdoc Dr. Stefan Wüller | Privacy-Preserving Electronic Bartering |
Alumni Hiwis
Name |
---|
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 Dustin Jungen |
Student Assistant Lutz Klinkenberg |
Student Assistant Tom Küspert |
Student Assistant Anaïs Morel |
Student Assistant Rishi Sharma |
Student Assistant Jan Tönshoff |
Student Assistant Marius Völkel |
Student Assistant Lucas Wollenhaupt |