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.
Changelog
| 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 anil.recoil.org. |
| 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. |