Yannik Schnitzer

I am a PhD student at the University of Oxford, supervised by Alessandro Abate and Dave Parker.

My research interests lie in formal verification and machine learning, particularly focusing on probabilistic systems with epistemic uncertainty and data-driven methods for optimal policy synthesis and uncertainty quantification. Recently, my work has also explored data-driven learning of abstractions for software verification.

Prior to my PhD, I completed my master’s degree at Oxford and my undergraduate studies at Saarland University, where I was a research assistant with Holger Hermanns.

Over the summer of 2024, I was an intern in the formal verification team at Apple.