Since July 2019, I'm a Senior Lecturer (Associate Professor) at the University of Birmingham.

From September 2015 to May 2019, I was a Research Associate in the CritiX group led by Prof. Paulo Verissimo at the SnT in Luxembourg, working among other things on the verification of distributed systems and on intuitionistic type theory.

From January 2011 to July 2015, I was a postdoc and then a Research Associate in the PRL group led by Prof. Robert L. Constable, where I was using and working on the foundations of the Nuprl proof assistant. While I was there, we built the EventML specification/programming language, which we used to specify, synthesize, and verify distributed protocols such as Paxos. We also implemented Nuprl's PER semantics in Coq.

From October 2006 to December 2010, I was a PhD student at the School of Mathematical and Computer Sciences at Heriot-Watt University in Edinburgh. My supervisors were Prof. Fairouz Kamareddine and Dr. J. B. Wells of the ULTRA group.