• 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"


  • 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


  • 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"