I am a software engineer working on GitHub’s CodeQL code analysis engine. CodeQL lets users query codebases in order to identify security vulnerabilities and potential bugs.
Before working at GitHub, I was a PhD student under the supervision of Alessio Lomuscio in the Verification of Autonomous Systems research group. Here, I carried out research on verifying the safety of AI systems.
PhD in Computing, 2017 - 2021
Imperial College London
Masters in Maths & Computer Science, 2013 - 2017
University of Oxford