Anil Madhavapeddy
Professor Of Planetary Computing at University of Cambridge
Cambridge, England, United Kingdom
Summary
🤩
Rockstar🎓
Top School
Top expert inFunctional Programming and Formal Verification Technologies
Anil Madhavapeddy is a Professor of Planetary Computing at the University of Cambridge with over 23 years of experience building systems software, unikernels, and developer tooling. His career spans academia and industry—co-founding Unikernel Systems (acquired by Docker), contributing to Docker-era projects, and sustaining long-term work on core OCaml tooling and libraries such as Dune, OCaml compiler, Irmin and Opam. A pragmatic systems engineer, he blends low-level runtime and build-system expertise with cloud and virtualization experience (Xen, MirageOS, vpnkit) and continues to influence open-source infrastructure through careful maintenance, portability fixes and CI/build improvements. He also serves in leadership and advisory roles across climate markets and blockchain governance, showing a rare mix of planetary-scale thinking and hands-on engineering.
23 years of coding experience
20 years of employment as a software developer
BEng, Information Systems Engineering, BEng, Information Systems Engineering at Imperial College LondonPhD, Computer Science, PhD, Computer Science at University of Cambridge
Stackoverflow
223reputation
1kreached
3answers
0questions
Github Skills (57)
asynchronous10
dependency-management10
git10
opam10
docker10
unix10
vpn10
package-management10
scripting10
async10
css10
databases10
build-system10
io10
dockers10
Programming languages (31)
Github contributions (5)
mirage/mirage
Nov 2009 - Jan 2019
MirageOS is a library operating system that constructs unikernels
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 releases, 1 review, 2571 commits in 9 years 2 months
Contributions summary:Anil focused on improving the build process and support for the Xen microkernel within the MirageOS library operating system. Their work included refactoring build scripts and integrating the final Xen link directly into the Mirari builder, eliminating the need for a separate run step. They also addressed filesystem-related issues and automated the installation of dependencies to improve the user experience, alongside fixing various linking paths for Xen images.
operating-systemmirageosunikernelxenkvm
moby/vpnkit
May 2016 - Jun 2022
A toolkit for embedding VPN capabilities in your application
Role in this project:Back-end Developer
Back-end DeveloperContributions:11 reviews, 38 commits, 11 PRs in 6 years 1 month
Contributions summary:Anil primarily focused on enhancing the `proto-vmnet` library and integrating it with the `vpnkit` project. Their contributions include the initial import of the `proto-vmnet` library, incorporating bindings for interacting with the OS X daemon, and fixing compilation issues related to Unix. Additionally, the user removed vestigial uninstall functionality and implemented IPv4 filtering for resolvers in `/etc/resolv.conf` to improve stability.
vpn
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.