I am a Career Development Fellow in Artificial Intelligence at St Hugh’s College and a member of the Oxford Control & Verification Group within the Department of Computer Science at the University of Oxford. My research lies at the intersection of formal methods, control theory, and machine learning, developing methods that provide rigorous guarantees for the behaviour of autonomous systems, often from only a finite set of observations. In particular, I work on neural certificate synthesis, safe reinforcement learning, and physics-informed machine learning, combining learning and formal verification to establish guarantees for complex cyber-physical systems.

I completed my DPhil at the University of Oxford in 2024, working on safety-critical control. Prior to this, I earned a Bachelor’s degree in Electrical Engineering and Information Technology from ETH Zurich in 2019 and worked at NASA’s Jet Propulsion Laboratory on the Mars 2020 rover mission.