He received a PhD for work on concurrency management and lock-free data structures in 2004, and was a lecturer in the University of Cambridge Computer Laboratory.