Anil is a Horizon Research Fellow at the University of Cambridge. He has worked in a variety of senior architecture, engineering, product management, sales and "whatever it takes" roles in industry
Anil is 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.
His 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 cloud 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 on the boards of some exciting start-ups, such as Ashima Arts in sunny Pasadena, and Limbe Labs in the even sunnier Cameroon.
He is online at @avsm on Twitter and facebook.com/amadhavapeddy in/anilmadhavapeddy on LinkedIn github.com/avsm on github
His 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.
Talks I've Given
-
Keynote: Unikernels and Docker - From Revolution to Evolution
Featuring Anil Madhavapeddy
Unikernels are a growing technology movement that augment existing virtual machine and container deployments with compact, single-purpose appliances.
containersched unikernels docker mirageos halvm haskell rump-kernel os linux-container -
My other operating system is a Mirage
Featuring Anil Madhavapeddy
In this talk Anil introduces a different approach to building networked services which cleanly separates policy and mechanisms, an approach which results in an extremely efficient deployment model that outputs standalone kernels straight from OCaml source code
functional-programming ocaml webserver hypervisor cloud type-safety