I am a PhD student at the Artificial Intelligence and its Applications Institute, School of Informatics, University of Edinburgh. My supervisor is Jacques Fleuriot and I am a member of The AI Modelling Lab.
My main work revolves around theorem proving in Isabelle. The result of my bachelor’s project is a mechanisation of Hyperdual Numbers, formally verifying forward automatic differentiation. As part of my PhD I am mechanising a framework for process composition with a focus on linear resources. More generally, I am also quite interested in mechanisations that result in generation of verified and practical code.
In my off time I like to play complex simulation games with deep systems and emergent gameplay. This includes factory simulators (Factorio, Satisfactory), survival simulators (Oxygen Not Included) and management simulators (Dwarf Fortress). I also regularly play TTRPGS (Dungeons & Dragons, Blades in the Dark) and love board games.