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. 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