Alumni

 

	Name	Dissertation Project
	Former associate doctoral researcher Dr. Martin Comis M. Sc. RWTH	Robust Primary Care Systems
	Former associate doctoral researcher Katrin Dannert M. Sc.	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 doctoral researcher Dr. Anton Pirogov	Automata-Theoretic Techniques in Probabilistic Verification
	Former doctoral researcher Vipin Ravindran Vijayalakshmi	Analysis of Algorithms for Mathematical Optimization Problem under Uncertainty
	Former associate Postdoc Dr. Stefan Schupp	State Set Representations for Hybrid Systems Reachability Analysis
	Former associate doctoral researcher Dr. Björn Tauer	The Behavior of Systems with Selfish Users
	Former associate Postdoc Dr. Laura Vargas Koch	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 Rafael Albert
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 Linus Heck
Student Assistant Alexander Immel
Student Assistant Dustin Jungen
Student Assistant Lutz Klinkenberg
Student Assistant Tom Küspert
Student Assistant David Meichel
Student Assistant Anaïs Morel
Student Assistant Phil Pützstück
Student Assistant Thomas Schaefers
Student Assistant Rishi Sharma
Student Assistant Jan Tönshoff
Student Assistant Marius Völkel
Student Assistant Lucas Wollenhaupt