Anil Madhavapeddy
I'm currently happily involved with Ashima Arts in sunny Pasadena, and Clink Labs in London. I've worked in a variety of senior architecture, engineering, product management, sales and "whatever it takes" roles in industrial companies of various sizes (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 interests focus on combining formal methods (such as static typing and model-checking) into practical, high-performance network applications such as SSH or DNS servers. In addition, I 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. 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, and am on the technical advisory boards of a few startups. I'm a senior member at Wolfson college in Cambridge, and pondering a return to the idyllic research lifestyle.
Changelog
| 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. |
London, UK