Professor Anil Madhavapeddy has worked in academia (Cambridge, Imperial, UCLA), industry (NetApp, Citrix, Intel), and startups (XenSource, Unikernel Systems, Docker) over the past two decades. At Cambridge, he co-founded the Environment and Energy Group at the Computer Science department, where he researches global-scale computation and sensing for environmental conservation. He also holds an appointment at the Cambridge Conservation Initiative, where he directs the Cambridge Centre for Carbon Credits (4C) and collaborates with NGOs such as the RSPB, BirdLife, and IUCN . He is a long-time maintainer on open-source projects such as Docker, OpenBSD, OCaml, and Xen, and a seasoned entrepreneur who advises organisations on technology strategy (currently Zededa, Tezos Foundation, Tarides, and others).
As simultaneous crises in emissions and biodiversity sweep the planet, computer systems that analyse the complex interplay of our globe’s health are ever more crucial to guiding policy decisions about how to get out of the mess we’re in. In this talk, I examine how functional programming can contribute to building systems that are more resilient, predictable and reproducible in the face of huge amounts of input data (such as from satellites and ground sensing) that demands precise access control (or else poachers and malicious actors go straight to the source) and requires interactive exploration from non-CS-experts at different levels of the software stack (to do climate science). I will also highlight how our ongoing cross-disciplinary research is having a real impact on conservation projects that are sorely underserved by current systems/PL infrastructure, and also how we went about forging these links.
I hope to encourage some of you to form your own local collaborations with your colleagues working on the climate crisis!