I am a Ph.D. student at the Chair of Algebraic and Logical Foundations of Computer Science at TU Dresden, under the supervision of Prof. Christel Baier. Prior to that, I obtained a B.Sc. and M.Sc. in Computer Science from the Technical University of Munich under the supervision of Prof. Jan Křetínský. I also interned at Apple in 2022, where I worked on increasing the productivity of formal verification.
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.