Skip to main content

Yannik Schnitzer

Personal photo - Yannik Schnitzer

Yannik Schnitzer

Doctoral Student


Wolfson Building, Parks Road, Oxford OX1 3QD


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.