I research topics related to computer systems and programming language design and implementation. 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.
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: