Anil Madhavapeddy
I work at XenSource Inc., where I hack on Xen for fun and profit. I recently completed my PhD at the University of Cambridge Computer Laboratory in the Systems Research Group, and am also a consultant research scientist at Fraser Research on their next-generation networking initiatives.
My current 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.
Changelog
| 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. |
[ Location ]
Robinson College,
Cambridge, UK
Cambridge, UK
[ University ]
[ Projects ]
[ Research ]
· Melange