シルビオ・ミカリ

Silvio Micali シルビオ・ミカリ

生誕	(1954-10-13) 1954年 10月13日（69歳）イタリアパレルモ
居住	アメリカ合衆国
国籍	イタリアアメリカ合衆国
研究分野	計算機科学暗号理論
研究機関	MITコンピュータ科学・人工知能研究所
出身校	ローマ・ラ・サピエンツァ大学カリフォルニア大学バークレー校 (PhD)
論文	Randomness versus Hardness (1983)
博士課程指導教員	マヌエル・ブラム^[1]
博士課程指導学生	ミヒル・ベラーレ（英語版）^[1] ボニー・バーガー（英語版）^[1] シャイ・ハレヴィ（英語版）^[1] ラファイル・オストロフスキー（英語版）^[1] フィリップ・ロガウェイ（英語版）^[2]^[1]
主な業績	ゴールドワッサー＝ミカリ暗号（英語版）ゼロ知識証明^[3] 擬似ランダム関数（英語版） Peppercoin（英語版）
主な受賞歴	ゲーデル賞 (1993) チューリング賞 (2012)^[3] ACMフェロー (2017)
公式サイト people.csail.mit.edu/silvio
プロジェクト:人物伝
テンプレートを表示

シルビオ・ミカリ（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. 2013年3月16日時点のオリジナルよりアーカイブ。2013年3月13日閲覧。
^ ACM Recognizes 2017 Fellows for Making Transformative Contributions and Advancing Technology in the Digital Age, Association for Computing Machinery, (December 11, 2017), https://www.acm.org/media-center/2017/december/fellows-2017 2017年11月13日閲覧。

表話編歴チューリング賞受賞者
アラン・パリス (1966) モーリス・ウィルクス (1967) リチャード・ハミング (1968) マービン・ミンスキー (1969) ジェームズ・H・ウィルキンソン (1970) ジョン・マッカーシー (1971) エドガー・ダイクストラ (1972) チャールズ・バックマン (1973) ドナルド・クヌース (1974) アレン・ニューウェル / ハーバート・サイモン (1975) マイケル・ラビン / デイナ・スコット (1976) ジョン・バッカス (1977) ロバート・フロイド (1978) ケネス・アイバーソン (1979) アントニー・ホーア (1980) エドガー・F・コッド (1981) スティーブン・クック (1982) ケン・トンプソン / デニス・リッチー (1983) ニクラウス・ヴィルト (1984) リチャード・カープ (1985) ジョン・ホップクロフト / ロバート・タージャン (1986) ジョン・コック (1987) アイバン・サザランド (1988) ウィリアム・カハン (1989) フェルナンド・J・コルバト (1990) ロビン・ミルナー (1991) バトラー・ランプソン (1992) ユリス・ハルトマニス / リチャード・スターンズ (1993) エドワード・ファイゲンバウム / ラジ・レディ (1994) マヌエル・ブラム (1995) アミール・プヌーリ (1996) ダグラス・エンゲルバート (1997) ジム・グレイ (1998) フレデリック・ブルックス (1999) アンドリュー・チーチー・ヤオ (2000) オーレ＝ヨハン・ダール / クリステン・ニゴール (2001) ロナルド・リベスト / アディ・シャミア / レオナルド・エーデルマン (2002) アラン・ケイ (2003) ヴィントン・サーフ / ロバート・カーン (2004) ピーター・ナウア (2005) フランシス・E・アレン (2006) エドムンド・クラーク / アレン・エマーソン / ジョセフ・シファキス (2007) バーバラ・リスコフ (2008) チャック・サッカー (2009) レスリー・ヴァリアント (2010) ジューディア・パール (2011) シャフィ・ゴールドワッサー / シルビオ・ミカリ (2012) レスリー・ランポート (2013) マイケル・ストーンブレーカー (2014) マーティン・ヘルマン / ホイットフィールド・ディフィー (2015) ティム・バーナーズ＝リー (2016) ジョン・ヘネシー / デイビッド・パターソン (2017) ヨシュア・ベンジオ / ジェフリー・ヒントン / ヤン・ルカン (2018) エドウィン・キャットマル / パット・ハンラハン (2019) アルフレッド・エイホ / ジェフリー・ウルマン (2020) ジャック・ドンガラ (2021) ロバート・メトカーフ (2022) アヴィ・ヴィグダーソン (2023)
コンピュータカテゴリ

チューリング賞受賞者

アラン・パリス (1966)
モーリス・ウィルクス (1967)
リチャード・ハミング (1968)
マービン・ミンスキー (1969)
ジェームズ・H・ウィルキンソン (1970)
ジョン・マッカーシー (1971)
エドガー・ダイクストラ (1972)
チャールズ・バックマン (1973)
ドナルド・クヌース (1974)
アレン・ニューウェル / ハーバート・サイモン (1975)
マイケル・ラビン / デイナ・スコット (1976)
ジョン・バッカス (1977)
ロバート・フロイド (1978)
ケネス・アイバーソン (1979)
アントニー・ホーア (1980)
エドガー・F・コッド (1981)
スティーブン・クック (1982)
ケン・トンプソン / デニス・リッチー (1983)
ニクラウス・ヴィルト (1984)
リチャード・カープ (1985)
ジョン・ホップクロフト / ロバート・タージャン (1986)
ジョン・コック (1987)
アイバン・サザランド (1988)
ウィリアム・カハン (1989)
フェルナンド・J・コルバト (1990)
ロビン・ミルナー (1991)
バトラー・ランプソン (1992)
ユリス・ハルトマニス / リチャード・スターンズ (1993)
エドワード・ファイゲンバウム / ラジ・レディ (1994)
マヌエル・ブラム (1995)
アミール・プヌーリ (1996)
ダグラス・エンゲルバート (1997)
ジム・グレイ (1998)
フレデリック・ブルックス (1999)
アンドリュー・チーチー・ヤオ (2000)
オーレ＝ヨハン・ダール / クリステン・ニゴール (2001)
ロナルド・リベスト / アディ・シャミア / レオナルド・エーデルマン (2002)
アラン・ケイ (2003)
ヴィントン・サーフ / ロバート・カーン (2004)
ピーター・ナウア (2005)
フランシス・E・アレン (2006)
エドムンド・クラーク / アレン・エマーソン / ジョセフ・シファキス (2007)
バーバラ・リスコフ (2008)
チャック・サッカー (2009)
レスリー・ヴァリアント (2010)
ジューディア・パール (2011)
シャフィ・ゴールドワッサー / シルビオ・ミカリ (2012)
レスリー・ランポート (2013)
マイケル・ストーンブレーカー (2014)
マーティン・ヘルマン / ホイットフィールド・ディフィー (2015)
ティム・バーナーズ＝リー (2016)
ジョン・ヘネシー / デイビッド・パターソン (2017)
ヨシュア・ベンジオ / ジェフリー・ヒントン / ヤン・ルカン (2018)
エドウィン・キャットマル / パット・ハンラハン (2019)
アルフレッド・エイホ / ジェフリー・ウルマン (2020)
ジャック・ドンガラ (2021)
ロバート・メトカーフ (2022)
アヴィ・ヴィグダーソン (2023)

コンピュータ
カテゴリ

典拠管理データベース
全般	ISNI VIAF WorldCat
国立図書館	ドイツイスラエルアメリカ
学術データベース	計算機協会 DBLP MathSciNet Mathematics Genealogy Project zbMATH