アニル・マダヴァペディ

アニル・マダヴァペディは、ケンブリッジ大学コンピュータ科学技術学部の惑星コンピューティング教授であり、ケンブリッジ大学ペンブローク・カレッジのフェロー、およびJMケインズ・フェローです。^{[ 1 ]}彼は、炭素クレジットの販売によって得られた資金を検証可能な方法で分配することを目指すケンブリッジ炭素クレジットセンターの創設ディレクターです。 ^{[ 2 ] [ 3 ]}

マダヴァペディは1999年にインペリアル・カレッジ・ロンドンを卒業し、 2006年にケンブリッジ大学でコンピュータサイエンスの博士号を取得した。博士論文はアンディ・ホッパーとデビッド・グリーブスの指導の下、プログラミング言語とオペレーティングシステムに関する研究であった。^{[ 4 ]}

マダヴァペディは『Real World OCaml』の著者であり、その第2版は2022年10月にケンブリッジ大学出版局から出版され^{[ 5 ]}、初版は2013年にオライリー・メディアから出版されている^{[ 6 ]}。RWOは、プリンストン大学のCOS326 ^{[ 7 ]} 、コーネル大学のCS6110 ^{[ 8 ]}、ペンシルベニア大学のCIS 120 ^{[ 9 ]} などのコンピュータサイエンスのコースのテキストとして使用されている。ケンブリッジでは、アニルは関数型プログラミングを紹介するコンピュータサイエンス・トライポスの 「コンピュータサイエンスの基礎」コース^{[ 10 ]}を教えている。このコースの過去の講師には、ローレンス・ポールソン、アラン・マイクロフト、アマンダ・プロロクなどがいる。

Madhavapeddy は主にプログラミング言語とオペレーティングシステムを研究しています。彼はユニカーネルライブラリオペレーティングシステムの主要な開発者の 1 人であり、 ^{[ 11 ] [ 12 ] [ 13 ]} OCamlなどの関数型言語の並列処理^{[ 14 ]}とエフェクトシステム^{[ 15 ]}を研究しています。

マダヴァペディの最新プロジェクトは、スリニヴァサン・ケシャフとアンドリュー・バルムフォードとの共同プロジェクトで、自然ベースのソリューションのための検証可能な炭素クレジットに関するものであり、^{[ 16 ]}暗号通貨トークンの代替案として見られています^{[ 17 ]。}

Madhavapeddy は、MirageOS ^{[ 18 ] [ 19 ] [ 20 ]} OCaml ^{[ 21 ]} Docker、Xen ^{[ 22 ]}、OpenBSD [ ^{23 ] [ 24 ]}などのオープンソース ソフトウェアに多大な貢献をしてきました。彼は現在^、 Tezos Foundation ^{[ 25 ] [ 26 ]}の評議会メンバーであり、OpenUK ^{[ 27 ]}の諮問委員会のメンバーでもあります。彼は 2015 年に Unikernel ^{[ 28 ]} Systems を 共同設立し、同社は 2016 年に Docker ^{[ 29 ] [ 30 ]}に買収されました。彼はDocker のメンテナーとして、HyperKit ^{[ 31 ]} VPNKit ^{[ 32 ]}や DataKit ^{[ 33 ]}などの技術を導入し、Docker for Desktop を可能にしました^{[ 34 ] [ 35 ]}

Madhavapeddy は2011 年以来OCamlのシニア メンテナーであり、 OCaml パッケージ マネージャー^{[ 36 ]}、ツール エコシステム^{[ 37 ] [ 38 ] 、OCaml 5.0 でのマルチコア並列処理とエフェクト ハンドラーのサポート[ 39 ]}の開発に貢献しました。彼は OCaml 用のソフトウェア ライブラリを 150 個以上公開しています^{[ 40 ] 。}

彼は2003年にエベン・アプトンらと共同でHigh Energy Magic Ltdを設立した^{[ 41 ]}。これはカメラ付き携帯電話におけるインタラクティブバーコードの初期実装であり^{[ 42 ] [ 43 ]} 、後にShotCodesとして商業化された。

マダヴァペディは1999年から2008年までHordeプロジェクトの中核チームにも参加し^{[ 44 ]} 、 IMPウェブメールクライアントとChora CVSビューアの開発に貢献した^{[ 45 ] 。}

彼は1998年に火星極地着陸機の地上データシステムに取り組み^{[ 46 ] [ 47 ]} 、その後NetAppでNetCacheを使用した初期のコンテンツ配信ネットワークを展開した^{[ 48 ]。}

彼はAIリスクに関する声明（2023年）公開書簡の署名者の1人だった。^{[ 49 ]}

• 個人ウェブサイト
• ケンブリッジ大学教員ページ
• ペンブローク・カレッジの教員ページ