I am currently working at Improbable.

Previously, I worked at Citrix and Winton Capital.

I finished my Ph.D. in the Programming, Logic, and Semantics Group at the Computer Laboratory, University of Cambridge. My supervisors were Peter Sewell and Matthew Parkinson. See the research page for more info.

The projects page lists a few of my non-research projects.

You can also find me on GitHub, Facebook, LinkedIn and Stack Overflow. Or you can send me an email.