Alumni

 

	Name	Dissertation Project
	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 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 Alexander Bork
Student Assistant Malte Breuer
Student Assistant Mostafa Gomaa
Student Assistant Dustin Jungen
Student Assistant Lutz Klinkenberg
Student Assistant Tom Küspert
Student Assistant Jan Tönshoff
Student Assistant Marius Völkel