I research topics related to computer systems and programming language design and implementation, with a focus on applying it to conservation as part of the Energy and Environment Group. I direct the Cambridge Centre for Carbon Credits and collaborate with colleagues from Plant Sciences, Zoology and Economics. I also teach computer science and am a Fellow at Pembroke College. I enjoy hacking on open-source code and co-founded the MirageOS unikernel framework and am a long-time contributor to projects ranging from OCaml, OpenBSD, Docker, Horde and Xen. The 2nd Edition of my book Real World OCaml was published in Oct 2022 by Cambridge University Press and is available online and in print.
In the past, I've co-founded Unikernel Systems and High Energy Magic and worked for Docker, Citrix, XenSource, Intel Research, Fraser Research, Imperial College, and NASA MVACS at UCLA. You can read up some of the history over in my projects. I obtained my PhD from the University of Cambridge in 2003 and my BEng in Information Systems Engineering from Imperial College in 1999.
Interested graduate students are welcome to get in touch informally, but all applications must go through the department process. You may find my past research and papers as helpful background material before getting in touch.
I have been a Fellow at Pembroke College since 2015 and the Director of Studies for Computer Science there until 2018. I have taught the following courses at the Cambridge Computer Laboratory: