Alumni

 

Alumni PIs

	Name
	Ehem. Betreuer Universitätsprofessor Dr. phil. Erich Grädel
	Ehem. Betreuerin Universitätsprofessorin Dr.-Ing. Ulrike Meyer

 

Alumni PhDs

	Name	Promotionsprojekt
	Ehem. assoziierter Promotionsstudent Dr. Martin Comis M. Sc. RWTH	Robust Primary Care Systems
	Ehem. assoziierte Promotionsstudentin Katrin Dannert M. Sc.	Provenance Analysis for Logic and Games
	Ehem. Promotionsstudent Dr. Janosch Fuchs M. Sc. RWTH	Graph Exploration with Advice (and Online Crossing Minimization)
	Ehem. assoziierte Promotionsstudentin Dr. Rebecca Haehn M. Sc. RWTH	Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties
	Ehem. assoziierter Promotionsstudent Dr. Marcel Hark	Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs
	Ehem. assoziierter Postdoc Dr. Sebastian Junges	Parameter Synthesis for Markov Models
	Ehem. assoziierter Postdoc Dr. Benjamin Kaminski	Advanced Weakest Precondition Calculi for Probabilistic Programs
©© Valentin Bister	Ehem. assoziierter Promotionsstudent Dr. Peter Lindner	The Theory of Infinite Probabilistic Databases
	Ehem. assoziierter Promotionsstudent Daxin Liu M. Sc.	Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based Program Verification
	Ehem. Promotionsstudent Dominik Meier
	Ehem. Promotionsstudent Dr. Anton Pirogov	Automata-Theoretic Techniques in Probabilistic Verification
	Ehem. Promotionsstudent Dr. Vipin Ravindran Vijayalakshmi	Analysis of Algorithms for Mathematical Optimization Problem under Uncertainty
©© Valentin Bister	Ehem. assoziierter Promotionsstudent Dr. Martin Ritzert	Learning on Graphs with Logic and Neural Networks
	Ehem. assoziierter Postdoc Dr. Stefan Schupp	State Set Representations for Hybrid Systems Reachability Analysis
	Ehem. assoziierter Promotionsstudent Dr. Björn Tauer	The Behavior of Systems with Selfish Users
	Ehem. assoziierte Postdoc Dr. Laura Vargas Koch	Competitive variants of discrete and continuous flows over time
	Ehem. assoziierter Promotionsstudent Dr. Matthias Volk	Dynamic Fault Trees: Semantics, Analysis and Applications
	Ehem. assoziierter Postdoc Dr. Norman Weik	Stochastic Models for Capacity Analysis in Railway Networks - An Approach Capturing Network Effects and Component Failures
	Ehem. assoziierter Promotionsstudent Dr. Richard Wilke	Reasoning about Dependence and Independence: Teams and Multiteams
	Ehem. assoziierter Postdoc Dr. Stefan Wüller	Privacy-preserving electronic bartering
	Ehem. Promotionsstudent Stephan Zieger M. Sc.	Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas

 

Alumni Hiwis

Name
Studentische Hilfskraft Emma Ahrens
Studentische Hilfskraft Rafael Albert
Studentische Hilfskraft Felix Battermann
Studentische Hilfskraft Kevin Batz
Studentische Hilfskraft Valentin Bister
Studentische Hilfskraft Alexander Bork
Studentische Hilfskraft Malte Breuer
Studentische Hilfskraft Tristan Ebert
Studentische Hilfskraft Vincent Ehrmanntraut
Studentische Hilfskraft Adrian Gallus
Studentische Hilfskraft Mostafa Gomaa
Studentische Hilfskraft Akshay Halande
Studentische Hilfskraft Linus Heck
Studentische Hilfskraft Alexander Immel
Studentische Hilfskraft Dustin Jungen
Studentische Hilfskraft Lutz Klinkenberg
Studentische Hilfskraft Paul Kobialka
Studentische Hilfskraft Tom Küspert
Studentische Hilfskraft Johannes Lehmann
Studentische Hilfskraft Nils Lommen
Studentische Hilfskraft David Meichel
Studentische Hilfskraft Anaïs Morel
Studentische Hilfskraft Valentin Promies
Studentische Hilfskraft Phil Pützstück
Studentische Hilfskraft Thomas Schaefers
Studentische Hilfskraft Rishi Sharma
Studentische Hilfskraft Jan Tönshoff
Studentische Hilfskraft Marius Völkel
Studentische Hilfskraft Lucas Wollenhaupt