Mark Shinwell

---

I work at Cambridge on GNU toolchain development for CodeSourcery. In my spare time I am an active caver with CUCC 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.