Anil Madhavapeddy
Professor Of Planetary Computing at OpenBSD Project
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 (59)
asynchronous10
dependency-management10
git10
opam10
docker10
unix10
package-management10
vpn10
scripting10
async10
css10
databases10
build-system10
io10
networking10
Programming languages (29)
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.
kernelvdikvmoperating-systemlinux
ocaml-community/utop
Oct 2012 - Jun 2021
Universal toplevel for OCaml
Role in this project:Back-end Developer & DevOps Engineer
Back-end Developer & DevOps EngineerContributions:3 releases, 18 commits, 4 PRs in 8 years 9 months
Contributions summary:Anil primarily contributed to the `utop` project by implementing features related to asynchronous programming, specifically integrating Async and Lwt runtimes into the toplevel environment. They added the capability to automatically run Async expressions. The user also made changes to the build process, migrating from Jbuilder to Dune and updating the project's opam metadata, indicating involvement in build and deployment. Additional contributions involved fixing warnings and minor code adjustments.
ocamltoplevel
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.