Loading article…
マルティン・アバディ | |
|---|---|
| 生まれる | 1963年（60～61歳） |
| 教育 | 1987年スタンフォード大学博士号取得 |
| 知られている | バロウズ・アバディ・ニーダム論理 ベイビー・モジュラ3 オブジェクトの理論 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス 暗号 |
| 機関 | Google カリフォルニア大学サンタクルーズ 校 カレッジ・ド・フランス |
| 博士課程の指導教員 | ゾハル・マナ |
マルティン・アバディ（1963年生まれ）[1]はアルゼンチンの コンピュータ科学者であり、2024年現在Google[アップデート]に勤務している。[2]彼は1987年にゾハル・マンナの指導の下、スタンフォード大学でコンピュータサイエンスの博士号（PhD）を取得した。
彼はコンピュータセキュリティ、プログラミング言語、機械学習に関する研究でよく知られています。セキュリティ分野では、アバディはマイケル・バロウズ、ロジャー・ニーダムとともに認証プロトコルを分析するためのバロウズ・アバディ・ニーダム論理を開発し、ニーダムとともに「暗号プロトコルのための慎重なエンジニアリング手法」でIEEE S&P Test of Time賞を受賞しました。[3]
プログラミング言語の研究では、ルカ・カルデッリと共著で『オブジェクトの理論』を出版し、オブジェクト指向プログラミング言語の意味論に対する形式的な計算を説明した。[4]さらに、1993年には、関数型プログラミングと集合論のイデアルに基づいた、Modula-3の安全なサブセットまたはサブ言語であるプログラミング言語Baby Modula-3を出版した。
アバディ氏は機械学習フレームワークTensorflowのコア開発者です。[5]彼は差分プライバシー確率的勾配降下法の開発に貢献しました。[1]
彼は2008年に米国計算機協会フェローに選出された。[6] 2011年にはパリのコレージュ・ド・フランスの臨時教授となり[7]、コンピュータセキュリティを教える。 2018年にはコンピュータセキュリティの形式理論への貢献により 米国工学アカデミーの会員に選出された[8] 。
彼は、シリア系ユダヤ人で第二次世界大戦中のフランスレジスタンス運動のメンバーであったムーサ・アバディ、および投資銀行家で慈善家のカルロス・アバディと親戚関係にある。 [9]
参考文献
- ^ 「経歴：情報科学と計算科学：マーティン・アバディ」。コレージュ・ド・フランス。2010-2011年。 2021年3月5日閲覧。
- ^ 「人物: マルティン・アバディ」。Googleリサーチ。 2024年2月28日閲覧。
- ^ 「IEEE Symposium on Security and Privacy 2019」。www.ieee-security.org 。 2024年2月28日閲覧。
- ^ アバディ、マーティン、カルデッリ、ルカ（1996年8月9日）。オブジェクトの理論（訂正版）。シュプリンガー。ISBN 978-0387947754。
- ^ アバディ、マーティン;バーハム、ポール。チェン、ジャンミン。チェン・ジーフェン。デイビス、アンディ。ディーン、ジェフリー。デビン、マシュー。ゲマワット、サンジャイ。アーヴィング、ジェフリー。アイサード、マイケル。クドルル、マンジュナート。ジョシュ・レーベンバーグ。モンガ、ラジャット。ムーア、シェリー。マレー、デレク G. (2016)。 TensorFlow: 大規模な機械学習のためのシステム。 USENIX協会。 265–283ページ。ISBN 978-1-931971-33-1。
- ^ 「Martin Abadi」 。ACM Awards。Association for Computing Machinery。2008年。 2021年3月5日閲覧。
- ^ フランス共和国大統領令、2010年9月7日、カリフォルニア大学サンタクルーズ校教授アバディ氏を2010-2011年度の常勤臨時教授に任命、
- ^ 「全米工学アカデミー、会員83名と外国人会員16名を選出」全米工学アカデミー (NAE) 2018年2月9日閲覧。
- ^ “Carlos Abadi”. Philanthropy World . 2010年5月3日. 2021年2月24日時点のオリジナルよりアーカイブ。 2021年2月24日閲覧。
外部リンク
- 公式ウェブサイト、UCSC