Mark Shinwell
I work on GNU toolchain development for CodeSourcery. I live in Ingleton, in the Yorkshire Dales, England. In my spare time I am an active caver and also play the organ.
Before moving to CodeSourcery I worked 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 BA 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.
Download my publications here or view selected talks.