CV
Education
-
2022 PhD, Computer Science
RWTH Aachen University, Germany - PhD thesis: "Dynamic Fault Trees: Semantics, Analysis and Applications"
- Supervisor: Prof. Joost-Pieter Katoen
-
2015 M.Sc., Computer Science
RWTH Aachen University, Germany - Master thesis: "Using SAT Solvers for Industrial Combinatorial Problems"
-
2012 B.Sc., Computer Science
RWTH Aachen University, Germany - Bachelor thesis: "Verification and Synthesis for Parametric Markov Chains"
Employment
-
since 2023 Assistant Professor
Eindhoven University of Technology, Eindhoven, The Netherlands Formal System Analysis Group (FSA) -
2021-2023 Post-doctoral Researcher
University of Twente, Enschede, The Netherlands Formal Methods & Tools Group (FMT) - Group of Prof. Mariëlle Stoelinga
-
2015-2020 PhD student
RWTH Aachen University, Aachen, Germany Software Modeling and Verification Group (MOVES) - Group of Prof. Joost-Pieter Katoen
Awards
-
2022 Manfred-Nagl-Award for PhD thesis
The award is supported by the DSA Daten und Systemtechnik GmbH and honours outstanding dissertations in computer science with the potential to implement the researched solution in the form of a company start-up. -
2020 2nd place at the RWTH Innovation Award
For the Storm model checker -
2020 3rd Place TRA VISIONS Young Researcher Competition
In the "Rail" category for the contribution "Reliability analysis of railway station infrastructure based on dynamic fault trees -
2019 Best Paper Award at FMICS
For the paper "A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas" -
2017 Prof. C.V. Ramamoorthy Best Paper Award at SRDS
For the paper "Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms"
Activities
- For a list of my activities see the activities page.
Teaching
- For a list of my teaching activities see the teaching page.
Publications
- For a list of my publications see the publications page.