シルビオ・ミカリ
表示
Silvio Micali シルビオ・ミカリ | |
---|---|
生誕 |
1954年10月13日(70歳) イタリア パレルモ |
居住 | アメリカ合衆国 |
国籍 |
イタリア アメリカ合衆国 |
研究分野 |
計算機科学 暗号理論 |
研究機関 | MITコンピュータ科学・人工知能研究所 |
出身校 |
ローマ・ラ・サピエンツァ大学 カリフォルニア大学バークレー校 (PhD) |
博士論文 | Randomness versus Hardness (1983) |
博士課程 指導教員 | マヌエル・ブラム[1] |
博士課程 指導学生 | |
主な業績 |
ゴールドワッサー=ミカリ暗号 ゼロ知識証明[3] 擬似ランダム関数 Peppercoin |
主な受賞歴 | |
公式サイト people | |
プロジェクト:人物伝 |
シルビオ・ミカリ(Silvio Micali、1954年10月13日 - )は、イタリア出身でアメリカ合衆国の計算機科学者である。MITコンピュータ科学・人工知能研究所に所属する。研究の中心は暗号理論と情報セキュリティである[4][5]。2012年にシャフィ・ゴールドワッサーとともにチューリング賞を受賞した[6]。
1983年からはMITの電気工学・計算機科学科の教授を務めている。研究テーマは、暗号技術、ゼロ知識、擬似乱数生成、セキュアプロトコル、メカニズム設計である。
2017年、ブロックチェーンのAlgorandを設立した。Algorandは、完全に分散化され、安全でスケーラブルなブロックチェーンで、分散型経済のための製品やサービスを構築するための共通プラットフォームを提供する。Algorandでは、ミカリは理論、セキュリティ、暗号金融を含むすべての研究を監督している。
若年期と教育
[編集]ミカリはイタリア・パレルモで生まれた。1978年にローマ・ラ・サピエンツァ大学で数学の学士号を取得し、1982年にカリフォルニア大学バークレー校で、マヌエル・ブラムの指導の下で[1]計算機科学のPh.D.を取得した[7]。
研究キャリア
[編集]ミカリは、公開鍵暗号システム、擬似ランダム関数、デジタル署名、忘却送信、セキュアなマルチパーティ計算に関する初期の基本的な研究で知られており、ゼロ知識証明の共同考案者である[8]。ミカリが博士論文の指導をした学生には、ミヒル・ベラーレ、ボニー・バーガー、シャイ・ハレヴィ、ラファイル・オストロフスキー、ラフェル・パス、クリス・ペイカート、フィリップ・ロガウェイなどがいる[1][2]。
賞と栄誉
[編集]- 1993年 - ゲーデル賞[9]
- 2004年 - RSA Award for Excellence in Mathematics[10]
- 2007年 - 米国科学アカデミー会員
- 2007年 - 国際暗号学会(IACR)フェロー
- 全米技術アカデミー会員[11]
- アメリカ芸術科学アカデミー会員[11]
- 2012年 - チューリング賞[3] - シャフィ・ゴールドワッサーとの共同受賞。暗号理論への貢献に対して[12]
- 2015年 - サレルノ大学名誉学士
- 2017年 - ACMフェロー[13]
脚注
[編集]- ^ a b c d e f g h シルビオ・ミカリ - Mathematics Genealogy Project
- ^ a b “CV”. people.csail.mit.edu. 2021年2月2日閲覧。
- ^ a b c Savage, Neil (2013). “Proofs probable: Shafi Goldwasser and Silvio Micali laid the foundations for modern cryptography, with contributions including interactive and zero-knowledge proofs”. Communications of the ACM 56 (6): 22. doi:10.1145/2461256.2461265.
- ^ Silvio Micali - DBLP Bibliography Server
- ^ シルビオ・ミカリ - ACM Digital Library
- ^ “Silvio Micali - A.M. Turing Award Laureate” (英語). amturing.acm.org. 2021年2月2日閲覧。
- ^ “Silvio's Home Page”. people.csail.mit.edu. 2018年3月12日閲覧。
- ^ Blum, M.; Feldman, P.; Micali, S. (1988). “Non-interactive zero-knowledge and its applications”. Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88. pp. 103. doi:10.1145/62212.62222. ISBN 0897912640
- ^ “1993 Gödel Prize”. sigact.acm.org. 2015年12月8日時点のオリジナルよりアーカイブ。2018年4月21日閲覧。
- ^ “RSA conference award for mathematics”. cseweb.ucsd.edu. 2020年8月31日閲覧。
- ^ a b “MIT CSAIL Theory of Computation”. theory.csail.mit.edu. 2018年3月12日閲覧。
- ^ “Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography”. ACM. 16 March 2013時点のオリジナルよりアーカイブ。13 March 2013閲覧。
- ^ ACM Recognizes 2017 Fellows for Making Transformative Contributions and Advancing Technology in the Digital Age, Association for Computing Machinery, (December 11, 2017) 2017年11月13日閲覧。