Alumni

 
  Name Dissertation Project
SJP_8106_01-150x150.jpg
Former associate Postdoc
Dr. Sebastian Junges M. Sc. RWTH
Parameter Synthesis for Markov Models
Benjamin Kaminski
Former associate Postdoc
Dr. Benjamin Kaminski
Advanced Weakest Precondition Calculi for Probabilistic Programs
volk.jpg
Former doctoral researcher
Matthias Volk M. Sc. RWTH
Verifying Fault Trees for Railway Safety
Photo_NormanWeik.jpg
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