Registered user since Tue 6 Sep 2016
I am a software developer at Jane Street Europe. I spend much of my time writing code in the Objective Caml language. In my spare time I am an active caver and also play the organ. 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.
Contributions
View general profile