Global Information Lookup Global Information

Anil Madhavapeddy information


Anil Madhavapeddy
Anil Madhavapeddy
CitizenshipIrish
Alma mater
  • Imperial College London (BSc)
  • University of Cambridge (PhD)
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]

  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.

and 11 Related for: Anil Madhavapeddy information

Request time (Page generated in 0.7917 seconds.)

Anil Madhavapeddy

Last Update:

Anil Madhavapeddy is the Professor of Planetary Computing at the Department of Computer Science and Technology in the University of Cambridge, a Fellow...

Word Count : 1205

OCaml

Last Update:

Retrieved 21 May 2017. Scott, David; Sharp, Richard; Gazagnaire, Thomas; Madhavapeddy, Anil (2010). Using functional programming within an industrial product...

Word Count : 3909

Unikernel

Last Update:

Improve Internet Security". April 2015. Retrieved 31 August 2015. Madhavapeddy, Anil; Mortier, Richard; Charalampos, Rotsos; Scott, David; Singh, Balraj;...

Word Count : 1072

Free list

Last Update:

RosAlloc on Android Runtime. Buddy memory allocation Minsky, Yaron; Madhavapeddy, Anil (October 2022). "Understanding the Garbage Collector". Real World...

Word Count : 263

Damien Doligez

Last Update:

ACM Symposium on Principles of Programming Languages (POPL). ACM. Anil Madhavapeddy and Yaron Minsky (December 2022). "Real World OCaml: Prologue". "About...

Word Count : 444

Language binding

Last Update:

documentation. Docs.python.org. Retrieved 2020-06-04. Hickey, Jason; Madhavapeddy, Anil; Minsky, Yaron (2013). "Real Worl OCaml, Chapter 19. Foreign Function...

Word Count : 496

Lawrence Paulson

Last Update:

was taken over by Alan Mycroft and Amanda Prorok in 2017, and then Anil Madhavapeddy and Amanda Prorok in 2019.) Paulson was elected a Fellow of the Royal...

Word Count : 691

Roy Want

Last Update:

Security on Public Terminals using Mobile Composition", Richard Sharp, Anil Madhavapeddy, Roy Want, and Trevor Pering; Proc. ACM MobiSys 2008. Breacon Ridge...

Word Count : 1698

OSv

Last Update:

Systems the Next Big Thing?". linux.com. Retrieved 5 December 2013. Madhavapeddy, Anil & Scott, David J. (12 January 2014). "Unikernels: Rise of the Virtual...

Word Count : 272

Association list

Last Update:

Computer Science. Springer. p. 214. ISBN 9781461216827. Minsky, Yaron; Madhavapeddy, Anil; Hickey, Jason (2013). Real World OCaml: Functional Programming for...

Word Count : 897

OpenBSD security features

Last Update:

libc-alpha@sources.redhat.com (Mailing list). Retrieved May 26, 2016. Madhavapeddy, Anil (June 26, 2003). "CVS: cvs.openbsd.org: src". openbsd-cvs (Mailing...

Word Count : 3213

PDF Search Engine © AllGlobal.net