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.
|ML 2016||Committee Member in Program Committee within the ML-track|
|OCaml 2016|| Welcome|
Chair in Program Committee within the OCaml-track
Committee Member in Organizing Committee within the OCaml-track
|Show activities from other conferences|
View general profile