Alumni

 

Alumni PIs

	Name
	Former Supervisor Universitätsprofessor Prof. Dr. phil. Erich Grädel
	Former Supervisor Universitätsprofessorin Prof. Dr.-Ing. Ulrike Meyer

 

Alumni PhDs

	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 doctoral researcher Nadine Friesen	Robust Infrastructure
	Former doctoral researcher Dr. Janosch Fuchs	Graph Exploration with Advice (and Online Crossing Minimization)
	Former associated doctoral researcher Dr. Rebecca Haehn	Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties
	Former associate doctoral researcher Dr. Marcel Hark	Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs
	Former associate doctoral researcher Till Hofmann M.Sc.	Robust Execution of Abstract Task Plans on Mobile Robots
	Former associate Postdoc Dr. Sebastian Junges	Parameter Synthesis for Markov Models
	Former associate Postdoc Dr. Benjamin Kaminski	Advanced Weakest Precondition Calculi for Probabilistic Programs
© Valentin Bister	Former associate doctoral researcher Dr. Peter Lindner	The Theory of Infinite Probabilistic Databases
	Former associated doctoral researcher Dr. Daxin Liu	Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based Program Verification
	Former Doctoral researcher Dominik Meier
	Former doctoral researcher Dr. Anton Pirogov	Automata-Theoretic Techniques in Probabilistic Verification
	Former doctoral researcher Dr. Vipin Ravindran Vijayalakshmi	Analysis of Algorithms for Mathematical Optimization Problem under Uncertainty
© Valentin Bister	Former associate doctoral researcher Dr. Martin Ritzert	Learning on Graphs with Logic and Neural Networks
	Former associate Postdoc Dr. Stefan Schupp	State Set Representations for Hybrid Systems Reachability Analysis
	Fromer doctoral researcher Jip Spel M. Sc.	Monotonicity in Markov Models
	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 Dr. Matthias Volk	Dynamic Fault Trees: Semantics, Analysis and Applications
	Former associate Postdoc Dr. Norman Weik	Stochastic Models for Capacity Analysis in Railway Networks - An Approach Capturing Network Effects and Component Failures
	Former associate doctoral researcher Dr. Richard Wilke	Reasoning about Dependence and Independence: Teams and Multiteams
	Former associate Postdoc Dr. Stefan Wüller	Privacy-Preserving Electronic Bartering
	Former doctoral researcher Dr. Stephan Zieger	Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas

 

Alumni Hiwis

Name
Student Assistant Emma Ahrens
Student Assistant Rafael Albert
Student Assistant Felix Battermann
Student Assistant Kevin Batz
Student Assistant Valentin Bister
Student Assistant Alexander Bork
Student Assistant Malte Breuer
Student Assistant Tristan Ebert
Student Assistant Vincent Ehrmanntraut
Student Assistant Adrian Gallus
Student Assistant Mostafa Gomaa
Student Assistant Akshay Halande
Student Assistant Linus Heck
Student Assistant Alexander Immel
Student Assistant Dustin Jungen
Student Assistant Lutz Klinkenberg
Student Assistant Paul Kobialka
Student Assistant Tom Küspert
Student Assistant Johannes Lehmann
Student Assistant Nils Lommen
Student Assistant David Meichel
Student Assistant Anaïs Morel
Student Assistant Valentin Promies
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