I work on the compiler for the CodeQL language that powers GitHub’s code scanning product.

I worked as a software engineer on an infrastructure team building Uber's cloud platform and deployment system for stateless services. I have led a project to automate movement of services between Uber's compute clusters to improve resource utilisation. I am currently leading a project to extend Uber's cluster federation layer with support for scheduling compute workloads on Kubernetes clusters.

Tech lead for the MobilePay Point-of-Sale team. I lead the design of a payment API and backend to support mobile in-store payments. I was a subject-matter expert on Cassandra at MobilePay and lead a migration from an active/passive setup to an active/active Cassandra cluster setup across all MobilePay teams.

I worked as a postdoctoral researcher at the University of Cambridge on a 2-year postdoc grant from the Danish Council for Independent Research. My research was focused on developing reasoning principles for languages with realistic memory models that account for the observable behaviours that can arise in multi-threaded programs from reordering of memory operations and compiler optimizations.

I worked for 2 years as a postdoctoral fellow in the “Logic and Semantics” group at Aarhus University. My research was focused on developing logics for reasoning about lock-free and non-blocking data-structures and developing mathematical techniques for modelling such logics.

During my PhD I worked as a research assistant for three months in the “Programming Principles and Tools” group at Microsoft Research Cambridge as a summer intern. During the internship, I verified the correctness of the C# Joins library – a library developed by Microsoft Research to provide a declarative interface for defining custom synchronization primitives and concurrent data structures in .NET.