Alumni

 
  Name Dissertation Project
MartinComis.jpg
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
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
Photo_AntonPirogov.jpg
Former doctoral researcher
Dr. Anton Pirogov M. Sc.
Automata-Theoretic Techniques in Probabilistic Verification
show_picture.png
Associate doctoral researcher
Dr. Vipin Ravindran Vijayalakshmi
Analysis of Algorithms for Mathematical Optimization Problem under Uncertainty
schupp.jpg
Former associate Postdoc
Dr. Stefan Schupp
State Set Representations for Hybrid Systems Reachability Analysis
tauer.jpg
Former associate doctoral researcher
Dr. Björn Tauer
The Behavior of Systems with Selfish Users
Laura Vargas Koch
Former associate Postdoc
Dr. Laura Vargas Koch
Competitive variants of discrete and continuous flows over time
volk.jpg
Former associate 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
Valentin Bister
Student Assistant
Alexander Bork
Student Assistant
Malte Breuer
Student Assistant
Tristan Ebert
Student Assistant
Mostafa Gomaa
Student Assistant
Linus Heck
Student Assistant
Dustin Jungen
Student Assistant
Lutz Klinkenberg
Student Assistant
Tom Küspert
Student Assistant
Anaïs Morel
Student Assistant
Thomas Schaefers
Student Assistant
Rishi Sharma
Student Assistant
Jan Tönshoff
Student Assistant
Marius Völkel
Student Assistant
Lucas Wollenhaupt