I am a PhD student at University College London in the PPLV group. My focus is on on compiler validation/verification with formal memory (consistecy) models in the context of relaxed memory and concurrency. My PhD is funded by Arm and I am supervised by Jade Alglave, Lee Smith, and Byron Cook.
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, SMT solvers, and formal memory models. I obtained my Masters in Computer Science Masters from the University of Oxford and 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!
- CAV 2021: Artifact Evaluation Committee