View my photography here -- above and below ground.
Before moving to Jane Street I worked as a GNU toolchain developer for CodeSourcery, and previous to that as a Research Associate on the EPSRC-funded project Naming, Distribution, and Versioning: Programming Language Design and Implementation at the University of Cambridge Computer Laboratory. I hold MA and PhD degrees in Computer Science from Cambridge; my doctoral work was part of the FreshML research project that finished at the end of 2004.
During my PhD work I developed the Fresh Objective Caml language, the successor to FreshML, which provides integrated support for programming with names. My PhD thesis, a runner-up in the BCS Distinguished Dissertation Awards 2005, goes into considerable detail about both pragmatic and theoretical aspects of this language.