I am a Senior Machine Learning Engineer on the research team at Gigaton, where I develop AI systems for the autonomous optimisation and control of energy-intensive industrial processes. My work draws on machine learning, control theory, and formal methods to improve the efficiency, reliability, and safety of complex physical systems.

My broader research interests lie at the intersection of formal verification, control, and machine learning. I develop methods that provide rigorous guarantees for autonomous and cyber-physical systems, often using only a finite set of observations. My work has focused particularly on neural certificate synthesis, safe reinforcement learning, and physics-informed machine learning. I am especially interested in climate technology, including airborne wind energy and decarbonisation of heavy industry.

Previously, I was a Career Development Fellow in Artificial Intelligence at St Hugh’s College and a member of the Oxford Control & Verification Group in the Department of Computer Science at the University of Oxford. I completed my DPhil at Oxford in 2024, focusing on safety-critical control. Before that, 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.