Alumni

 

Alumni PIs

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

Alumni PhDs

  Name Promotionsprojekt
DSC_0343.JPG
Ehem. Promotionsstudentin
Monotonicity in Markov Models
MartinComis.jpg
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
Friesen_Nadine.JPG
Ehem. Assoziierte Promotionsstudentin
Nadine Friesen
Robust Infrastructure
fuchs.jpg
Ehem. Promotionsstudent
Dr. Janosch Fuchs
Graph Exploration with Advice (and Online Crossing Minimization)
Haehn Rebecca.jpg
Ehem. assoziierte Promotionsstudentin
Dr. Rebecca Haehn
Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties
profile.JPG
Ehem. assoziierter Promotionsstudent
Dr. Marcel Hark
Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs
Hofmann Till
Ehem. assoziierter Promotionsstudent
Dr. Till Hofmann M.Sc.
Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
SJP_8106_01-150x150.jpg
Ehem. assoziierter Postdoc
Assistant professor Dr. Sebastian Junges
Parameter Synthesis for Markov Models
Benjamin Kaminski
Ehem. assoziierter Postdoc
Prof. Dr. Benjamin Kaminski
Advanced Weakest Precondition Calculi for Probabilistic Programs
Peter Lindner.jpg© Valentin Bister
Ehem. assoziierter Promotionsstudent
Dr. Peter Lindner
The Theory of Infinite Probabilistic Databases
Daxin Liu.jpg
Ehem. assoziierter Promotionsstudent
Dr. Daxin Liu
Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based Program Verification
DMeierUnRavel.jpg
Ehem. Promotionsstudent
Dominik Meier
Photo_AntonPirogov.jpg
Ehem. Promotionsstudent
Dr. Anton Pirogov
Automata-Theoretic Techniques in Probabilistic Verification
show_picture.png
Ehem. Promotionsstudent
Dr. Vipin Ravindran Vijayalakshmi
Analysis of Algorithms for Mathematical Optimization Problem under Uncertainty
2019_MartinRitzertProfilbild-klein.jpg© Valentin Bister
Ehem. assoziierter Promotionsstudent
Dr. Martin Ritzert
Learning on Graphs with Logic and Neural Networks
schupp.jpg
Ehem. assoziierter Postdoc
Dr. Stefan Schupp
State Set Representations for Hybrid Systems Reachability Analysis
tauer.jpg
Ehem. assoziierter Promotionsstudent
Dr. Björn Tauer
The Behavior of Systems with Selfish Users
Laura Vargas Koch
Ehem. assoziierte Postdoc
Prof. Dr. Laura Vargas Koch
Competitive variants of discrete and continuous flows over time
volk.jpg
Ehem. assoziierter Promotionsstudent
Dr. Matthias Volk
Dynamic Fault Trees: Semantics, Analysis and Applications
Photo_NormanWeik.jpg
Ehem. assoziierter Postdoc
Prof. Dr. Norman Weik
Stochastic Models for Capacity Analysis in Railway Networks - An Approach Capturing Network Effects and Component Failures
Richard_Wilke.jpg
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
Photo_StephanZieger2.jpg
Ehem. Promotionsstudent
Dr. Stephan Zieger
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
Philip Kroll
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
Gian Luca Spitzer
Studentische Hilfskraft
Jan Tönshoff
Studentische Hilfskraft
Marius Völkel
Studentische Hilfskraft
Lucas Wollenhaupt