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