Register
A
Professor profile

Anil Madhavapeddy

University of Cambridge · Computer Science

About
Regular biography

Professor Anil Madhavapeddy is a Professor in the Department of Computer Science and Technology at the University of Cambridge. His research interests include Systems and Networking, Programming Languages, Semantics and Verification, Security, Computer Architecture, Mobile Systems, Robotics, and Automation. He is also the Director of the Cambridge Centre for Carbon Credits (4C) and a J M Keynes Fellow. His work has been published in various conferences and journals, including proceedings on functional networking, digital carbon assets, and biodiversity monitoring. He teaches courses such as Cloud Computing, Foundations of Computer Science, and OCaml Practical Classes.


Scholar profile summary
Scholar-generated biography

Anil Madhavapeddy is a Professor of Planetary Computing at the University of Cambridge, specializing in computer science. His research interests span distributed computing, operating systems, and functional programming. He has contributed significantly to the development of unikernels, which are library operating systems designed for cloud environments. His work includes the creation of CIEL, a universal execution engine for distributed data-flow computing, and Jitsu, a system for just-in-time summoning of unikernels. Additionally, he has explored topics such as personal data management, audio networking, and context-aware computing using sound and mobile devices. His research also extends to formal methods in file systems and the potential of AI in conservation.

Source: google_scholar · 107 words
Related professors