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 am conducting research in the area of probabilistic model checking, which is concerned with the verification and analaysis of probabilistic systems. In particular, I am interested in developing and evaluating certifying verification algorithms. These types of algorithms return a certificate accompanying the result, enabling the user to independently check and validate the result's correctness. My other research interests include the application of game theory, machine learning and mathematical optimization (particularly linear programming) in formal verification.