Anil Madhavapeddy

Add links
Source: Wikipedia, the free encyclopedia.

Anil Madhavapeddy
Anil Madhavapeddy
CitizenshipIrish
Alma mater
Scientific career
Fields
  • Operating Systems
  • Cloud Computing
  • Functional Programming
InstitutionsUniversity of Cambridge
Docker
ThesisCreating high-performance, statically type-safe network applications (2006)
Doctoral advisorAndy Hopper and David Greaves
Websitehttps://www.cst.cam.ac.uk/people/avsm2

Anil Madhavapeddy is the Professor of Planetary Computing at the Department of Computer Science and Technology in the University of Cambridge, a Fellow of Pembroke College, Cambridge, and a J M Keynes Fellow.[1] He is the Founding Director of the Cambridge Centre for Carbon Credits,[2] aiming to distribute funds raised through the sale of carbon credits in a verifiable manner.[3]

Education

Madhavapeddy graduated from

operating systems supervised by Andy Hopper and David Greaves.[4]

Research and Teaching

Anil is the author of Real World OCaml, the second edition of which was published in Oct 2022 by Cambridge University Press,[5] with an earlier edition in 2013 by O'Reilly Media.[6] RWO has been used as a text in computer science courses such as

Cornell’s CS6110[8] and UPenn’s CIS 120.[9]
At Cambridge, Anil teaches the Foundations of Computer Science course[10] in the Computer Science Tripos which introduces functional programming. Past lecturers of this course include Lawrence Paulson, Alan Mycroft and Amanda Prorok.

Madhavapeddy primarily researches

effect systems[15]
for functional languages such as OCaml.

Madhavapeddy's latest project is a collaboration with

carbon credits for nature-based solutions,[16] which has been seen as an alternative to Cryptocurrency tokens[17]

Industry

Madhavapeddy has made substantial contributions to open source software such as

MirageOS,[18][19][20] OCaml,[21] Docker, Xen[22] and OpenBSD.[23][24] He is currently a Council Member at the Tezos Foundation[25][26] and the advisory board of OpenUK.[27]
He co-founded Unikernel[28] Systems in 2015, which was acquired by Docker in 2016[29][30] where he served as a Docker maintainer, introducing technologies such as HyperKit,[31] VPNKit[32] and DataKit[33] that made Docker for Desktop possible.[34][35]

Madhavapeddy has been a senior maintainer of

OCaml Package Manager,[36] the tooling ecosystem,[37][38] as well as support for multicore parallelism and effect handlers in OCaml 5.0.[39] He has published over 150 software libraries for OCaml.[40]

He co-founded High Energy Magic Ltd in 2003[41] with Eben Upton and others, which was an early implementation of interactive barcodes in camera-phones[42][43] and later commercialised as ShotCodes.

Madhavapeddy also served on the core team at the

Chora CVS viewer.[45]

He worked on the Mars Polar Lander ground data systems in 1998[46][47] and subsequently at

content delivery networks using NetCache[48]

External links

References

  1. ^ Matu, Shakira (27 October 2020). "J M Keynes Fellows". www.cshss.cam.ac.uk.
  2. ^ Madhavapeddy, Anil (2 November 2021). "Professor Anil Madhavapeddy". 4c.cst.cam.ac.uk.
  3. ^ Noone, Greg (17 March 2022). "Can crypto save the planet?". Tech Monitor. Retrieved 8 February 2023.
  4. ^ Madhavapeddy, Anil (2010). Creating high-performance, statically type-safe network applications. cl.cam.ac.uk (PhD thesis). University of Cambridge.
  5. ISBN 9781009129220
    .
  6. ISBN 9781449323912
    .
  7. ^ "COS 326: Functional Programming (Fall 2016)". www.cs.princeton.edu.
  8. ^ "CS 6110: Resources". www.cs.cornell.edu.
  9. ^ "CIS120 Resources". www.cis.upenn.edu.
  10. ^ "Department of Computer Science and Technology – Course pages 2019–20: Foundations of Computer Science". www.cl.cam.ac.uk. Retrieved 27 January 2020.
  11. S2CID 29494014
    . Retrieved 9 January 2023.
  12. ISSN 0163-5964
    . Retrieved 9 January 2023.
  13. ISBN 978-1-931971-21-8
    .
  14. S2CID 216144811
    . Retrieved 9 January 2023.
  15. ISBN 978-1-4503-8391-2
    .
  16. ^ "Cambridge Centre for Carbon Credits (4C)". 4c.cst.cam.ac.uk.
  17. ^ Dhanesha, Neel (26 May 2022). "WeWork co-founder Adam Neumann's new crypto project sounds like a scam within a scam". Vox.
  18. ^ Robert Bluman (May 2014). "Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Language". website (Podcast).
  19. ^ "Interview with Anil Madhavapeddy and Richard Mortier, MirageOS: compiling functional library operating systems". archive.fosdem.org.
  20. Randal Schwartz (July 2014). "FLOSS Weekly 302 OpenMirage"
    . website (Podcast).
  21. ^ "OCaml.org governance". OCaml.
  22. ^ Kurth, Lars (23 February 2017). "Xen Project's MirageOS Expands its Ecosystem in Latest Release".
  23. ^ "openbsd stats". oxide.org.
  24. ^ "OpenBSD: Innovations". www.openbsd.org.
  25. ^ "About the Tezos Foundation". Tezos Foundation.
  26. ^ "Anil Madhavapeddy - Council Member at Tezos Foundation". THE ORG.
  27. ^ "Sustainability Advisory Board". OpenUK.
  28. ^ MSV, Janakiram. "Unikernels - The Shiny New Object In The Cloud". Forbes. Retrieved 8 February 2023.
  29. Techcrunch
    . January 2016.
  30. ^ "Why does Unikernel Systems Joining Docker Make A Lot of Sense? - High Scalability -". highscalability.com.
  31. ^ "moby/hyperkit". 2 January 2023 – via GitHub.
  32. ^ "VPN-friendly networking devices for HyperKit". 3 January 2023 – via GitHub.
  33. ^ "Improving Docker with Unikernels: Introducing HyperKit, VPNKit and DataKit". www.docker.com. Docker. 18 May 2016.
  34. ^ Yaron Minsky (November 2021). "What is an Operating System?". website (Podcast). Jane Street Capital.
  35. YouTube
  36. ^ "opam - A package manager for OCaml". 24 February 2023 – via GitHub.
  37. ^ "OCaml Labs". anil.recoil.org.
  38. ^ "OCaml Users and Developers Workshop 2012". OCaml.
  39. ^ "Topics tagged multicore-monthly". OCaml.
  40. ^ "OCaml Packages · Search Result". OCaml.
  41. ^ ltd, company check. "HIGH ENERGY MAGIC LIMITED. Free business summary taken from official companies house information. Free alerts. Registered as 04752113". Company Check.
  42. New York Times
    . October 2004.
  43. ^ "From the Prawn of Time". Wired. June 2004.
  44. ^ "Team - The Horde Project". www.horde.org.
  45. ^ "Authors - Chora - The Horde Project". www.horde.org.
  46. Space Research Institute
    .
  47. ^ Doherty, N.; A. Madhavapeddy. Application of Distributed Web Site Acceleration: Mars Polar Lander (PDF) (Technical report). NetApp.
  48. ^ Madhavapeddy, A.; A. Crivelli. How to Build a Content Delivery Network (PDF) (Technical report). NetApp.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Anil_Madhavapeddy&oldid=1193939211"