I am currently a Principal Engineer 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.

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

You can also find me on Facebook, GitHub, Instagram, LinkedIn, Stack Overflow and YouTube.

Or you can send me an email.