I am a PhD candidate at University College London in the area of Logic, Semantics and Category Theory, supervised by Alexandra Silva and Samson Abramsky. My research focuses on axiomatic systems in the style of Kleene Algebra for reasoning about equivalence of programs exhibiting probabilistic and quantitative behaviour. Throughout my PhD, I have interned twice in the Automated Reasoning Group of Amazon Web Services in Seattle, where I used Dafny and Lean for proving correctness of the code used within AWS IAM.