Currently a Postdoctoral Research Associate in the Department of Computer Science at the University of Sheffield working on the COVERT grant EPSRC project which is investigating elements of formal verification and security of concurrent programs. I submitted my PhD thesis on formalised mathematics in Isabelle/HOL at the University of Cambridge in September 2023, supervised by Prof. Lawrence Paulson.