I am a PhD student at University College London, focusing on compiler validation/verification with formal memory models in the context of relaxed memory and concurrency. My PhD is funded by Arm and I am supervised by Jade Alglave and Lee Smith.
Previously I was a Compiler Engineer at Arm in Cambridge, where I worked on the Open Source LLVM compiler, Arm Compiler, and system validation/verification, and testing of compilers using executable architecture specifications and formal memory models. I did my Computer Science Masters at the University of Oxford and completed my Bachelors in Computer Science at the University of Nottingham.
In my spare time I like all things coffee, skydiving, mechanical keyboards, and learning new things. See my blog for more. Previously I was involved in the hackathon community and I used to play guitar. Let me know if you know how to get out of the minor pentatonic rut!