Alumni

 

Alumni PIs

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

Alumni PhDs

  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
Friesen_Nadine.JPG
Former Associate doctoral researcher
Nadine Friesen
Robust Infrastructure
fuchs.jpg
Former doctoral researcher
Dr. Janosch Fuchs
Graph Exploration with Advice (and Online Crossing Minimization)
Haehn Rebecca.jpg
Former associated doctoral researcher
Dr. Rebecca Haehn
Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties
profile.JPG
Former associate doctoral researcher
Dr. Marcel Hark
Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs
Hofmann Till
Former associate doctoral researcher
Till Hofmann M.Sc.
Robust Execution of Abstract Task Plans on Mobile Robots
SJP_8106_01-150x150.jpg
Former associate Postdoc
Dr. Sebastian Junges
Parameter Synthesis for Markov Models
Benjamin Kaminski
Former associate Postdoc
Dr. Benjamin Kaminski
Advanced Weakest Precondition Calculi for Probabilistic Programs
Peter Lindner.jpg© Valentin Bister
Former associate doctoral researcher
Dr. Peter Lindner
The Theory of Infinite Probabilistic Databases
Daxin Liu.jpg
Former associated doctoral researcher
Dr. Daxin Liu
Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based Program Verification
DMeierUnRavel.jpg
Former Doctoral researcher
Dominik Meier
Photo_AntonPirogov.jpg
Former doctoral researcher
Dr. Anton Pirogov
Automata-Theoretic Techniques in Probabilistic Verification
show_picture.png
Former doctoral researcher
Dr. Vipin Ravindran Vijayalakshmi
Analysis of Algorithms for Mathematical Optimization Problem under Uncertainty
2019_MartinRitzertProfilbild-klein.jpg© Valentin Bister
Former associate doctoral researcher
Dr. Martin Ritzert
Learning on Graphs with Logic and Neural Networks
schupp.jpg
Former associate Postdoc
Dr. Stefan Schupp
State Set Representations for Hybrid Systems Reachability Analysis
DSC_0343.JPG
Fromer doctoral researcher
Jip Spel M. Sc.
Monotonicity in Markov Models
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
Dr. Matthias Volk
Dynamic Fault Trees: Semantics, Analysis and Applications
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
Richard_Wilke.jpg
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
Photo_StephanZieger2.jpg
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