I am currently a Principal Engineer at Improbable.
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.
Or you can send me an email.