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