My research focuses on the synergy between machine learning and formal verification. I am exploring the capabilities of machine learning to improve and scale verification algorithms while maintaining their soundness. I am interested in applying learning algorithms in probabilistic models with uncertainty, such as uncertain MDPs with unknown distributions. This extends to using machine learning to build system abstractions more efficiently and extract optimal and robust policies for autonomous systems.
I am a DPhil student supervised by Alessandro Abate and Dave Parker. Before starting my DPhil, I completed my BSc in Computer Science at Saarland University and my MSc here at Oxford. During my BSc, I was a Student Researcher with Holger Hermanns.