anil madhavapeddy //

Anil Madhavapeddy

I'm a Horizon Research Fellow 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'm having great fun leading the OCaml Labs group at Cambridge, and building the Mirage unikernel operating system as a new foundation for networked, multi-scale applications. I also think about ubiquitous computing technologies, and 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. 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 Senior Research Fellow at Wolfson College, the most diverse of the Cambridge Colleges.


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.