|
anil madhavapeddy // anil.recoil.org
|
|
|
Anil MadhavapeddyI'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
|
|
[ Location ]
Clink Street, London, UK [ Projects ]
[ Research ]
· Melange |
|
Copyright © 2003-2006 by Anil Madhavapeddy. All rights reserved.
Original design used with kind permission from Jon Parise. |
Valid CSS Valid XHTML 1.0 |