I am a software engineer working at Lacework. Before Lacework, I worked on GitHub’s CodeQL code analysis engine. And before then, I was a PhD student at Imperial College London where 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
I helped out with the following conferences: