Research interests

I am conducting research in the area of probabilistic model checking, which is concerned with the formal verification of probabilistic systems. In particular, I am working on the verification of Markov decision processes and variants thereof. Moreover, I am interested in the interplay between machine learning and mathematical optimization techniques and formal verification.