I am a Software Engineer on the Infer team at Facebook London. I joined Facebook in 2018, and before that was a senior lecturer at Middlesex University, London since 2013. My research focuses on program verification and automated reasoning. I have worked on decision problems in separation logic and I wrote Cyclist, a platform for implementing theorem provers using cyclic proof. My focus nowadays is on developing Infer analyzers which target concurrency bugs.