anil madhavapeddy //

Anil Madhavapeddy

I'm an engineer at Docker, and a University Lecturer at the University of Cambridge. I've worked in a variety of senior architecture, engineering, product management, sales and "whatever it takes" roles in industry (S, M, L, XL) as well as government and research (S, M, L). I completed my PhD in 2006 at the University of Cambridge Computer Laboratory in the Systems Research Group. You can read my thesis and various academic publications here.

My research goal is to improve the security, reliability and performance of the Internet. I lead the OCaml Labs group at Cambridge, and work on the MirageOS unikernel operating system as a new foundation for networked, multi-scale applications. I also develop open-source software such as the secure OpenBSD operating system.

I'm online at Twitter, Facebook, LinkedIn, GitHub and Amazon. My old Citrix/Xen blog is still available for now and I also blog at MirageOS. I'm migrating most of my open-source projects over to github at the moment. I occasionally do consulting work, primarily on the commercial uses of functional programming. I'm a Fellow at Pembroke College, where I also serve as Director of Studies for Computer Science.


21st January 2016 I joined Docker via the acquisition of my startup Unikernel Systems.
17th December 2015 Added SOSP and FLOPS papers, and updated biography.
14th May 2015 Added papers in USENIX (Security and NSDI), Critical Alternatives, and SIGOPS to the papers section.
1st October 2014 My wonderful Horizon Research Fellowship comes to an end, and I am taking up a tenured post as a University Lecturer at the Cambridge Computer Laboratory.
23rd July 2014 FLOSS Weekly episode 302 featured me talking to Randall Schwartz and Simon Phipps about Mirage OS.
14th July, 2014 Interviewed about unikernels, MirageOS and Real World OCaml in the IEEE Software Engineering Radio podcast.
18th Jan, 2014 My Communications of the ACM article on unikernels has been published in the print and online editions.
7th Nov, 2013 My new book, Real World OCaml, has been released!
9th March, 2009 Rejigged the bio page to vaguely reflect reality.
28th December, 2006 Update bio, and most updates will be in the blog from now on.
24th July, 2004 Convert site to static layout (no more PHP ever again!) and overhaul content.
March 23th, 2004 Update the papers section with some of the new camera-phone and telephone conferencing work.
March 13th, 2004 Finally added the cheesy audio networking videos presented at Ubicomp 2003 into the papers section. A real must-see ...
January 5th, 2004 Update links on the front page with Intel Research and High Energy Magic links.
December 8th, 2003 Added an old paper I just found on my final year OpenGL project at Imperial.
October 12th, 2003 Updated published papers with bibtex entries.
July 13th, 2003 Added an experimental blog section derived from the diary setup.
June 30th, 2003 Updated the papers section with the Ubicomp 2003 publication.
May 19th, 2003 Listed my current projects (research and general hacking), validated all the XHTML, and activated the site at
May 18th, 2003 Added a brief introduction, updated my contact information, and added a publications section with some papers and tech reports.
May 16th, 2003 Initial version of the site, based heavily on the design by Jon Parise.