About

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, where I worked on increasing the productivity of formal verification.

Research Interests

I conduct research in probabilistic model checking, focusing on the verification and analysis of Markov decision processes (and variants thereof). My primary interest lies in developing and evaluating certifying verification algorithms, which produce verification results together with certificates that enable users to independently validate their correctness. In addition, my research explores the intersection of formal verification with game theory, machine learning, and mathematical optimization, with a particular emphasis on linear programming techniques.