Anil Madhavapeddy

Registered user since Wed 18 Mar 2015

Name: Anil Madhavapeddy

Bio: I’m 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’m having great fun leading the OCaml Labs group at Cambridge, and building the Mirage unikernel 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.

Country: United Kingdom

Affiliation: OCaml Labs

Personal website: http://anil.recoil.org

Contributions

ML 2017Author of Effectively tackling the awkward squad within the ML 2017-track
OCaml 2017Author of The State of the OCaml Platform: September 2017 within the OCaml 2017-track
PLDI 2018Author of Bounding Data Races in Space and Time within the PLDI Research Papers-track
NetPL 2015Speaker of Immutable Distributed Infrastructure with Unikernels within the NetPL-track
Speaker in Invited Speakers within the NetPL-track