I am a PhD student at Institute of Science and Technology Austria, working under the supervision of Thomas A. Henzinger. My research lies in the intersection of formal verification, statistics, and machine learning, with a particular emphasis on uncertainty quantification. The ultimate goal is to make AI safe and trustworthy when deployed in real-world dynamical systems.

Main Projects

My research interests include: Runtime Verification, Formal Methods, Stochastic Processes, Non-Asymptotic Statistics, Time Series, Learning Theory, Responsible Computing. TBC.

Other Projects

Before affiliating with my current research group had the opportunity to work on projects with Christoph Lampert (“Out-of-specification testing of convolutional neural networks during runtime”) and Krishnendu Chatterjee (“Dynamic data race detection in TSO-model”).

Teaching

Throughout the years I held several teaching assistant positions for courses such as: Data Science, Networks, Network Security, Knowledge Based Systems, Formal Methods, and Formalisms Every Computer Scientist Should Know.

Before my PhD

Before my PhD I completed my M.Sc. in “Logic and Computation” at the Vienna University of Technology under the supervision of Agata Ciabattoni and my B.Sc. in “Business” and “Business Informatics” at the Vienna University of Economics and Business. While completing my masters I was a research assistant under Mark Strembeck