Alumni

 
  Name Promotionsprojekt
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
profile.JPG
Ehem. assoziierter Promotionsstudent
Dr. Marcel Hark M. Sc. RWTH
Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs
SJP_8106_01-150x150.jpg
Ehem. assoziierter Postdoc
Dr. Sebastian Junges
Parameter Synthesis for Markov Models
Benjamin Kaminski
Ehem. assoziierter Postdoc
Dr. Benjamin Kaminski
Advanced Weakest Precondition Calculi for Probabilistic Programs
Peter Lindner.jpg©© Valentin Bister
Ehem. assoziierter Promotionsstudent
Dr. Peter Lindner M. Sc.
The Theory of Infinite Probabilistic Databases
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
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
Dr. Laura Vargas Koch
Competitive variants of discrete and continuous flows over time
volk.jpg
Ehem. assoziierter Promotionsstudent
Matthias Volk
Verifying Fault Trees for Railway Safety
Photo_NormanWeik.jpg
Ehem. assoziierter Postdoc
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 M. Sc. RWTH
Reasoning about Dependence and Independence: Teams and Multiteams
Ehem. assoziierter Postdoc
Dr. Stefan Wüller
Privacy-preserving electronic bartering
 

Alumni Hiwis

Name
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
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
Nils Lommen
Studentische Hilfskraft
David Meichel
Studentische Hilfskraft
Anaïs Morel
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