シャフィ・ゴールドワッサー

シャフィ・ゴールドワッサーは、「暗号が安全である」とは何かを計算量に基づいて定式化し、秘密そのものを見せずに知識や計算の正しさを証明できるゼロ知識証明を共同創始した人物です。[4][5][7]

現在・代表的な役割

マサチューセッツ工科大学 電気工学・計算機科学教授／カリフォルニア大学バークレー校 電気工学・計算機科学教授／サイモンズ理論計算機科学研究所 Resilience Research Pod研究ディレクター

生い立ちから現在まで、肩書きだけでなく研究・開発・事業を動かした主要な出来事を時系列で追います。

1. 1979年

   Carnegie Mellon Universityを卒業

   応用数学の学士号を取得し、数学から計算機科学へ進む土台を作りました。[1]

2. 1981年

   UC Berkeleyで修士号を取得

   計算機科学の大学院研究に入り、暗号と計算量の理論研究を始めました。[6]

3. 1982年

   確率的暗号の考え方を発表

   ミカリと、同じ平文でも複数の暗号文になり得る乱択と意味論的安全性を結び付けました。[4][10]

4. 1984年

   UC Berkeleyで博士号を取得

   暗号の安全性を計算量に基づいて定義する研究を博士研究としてまとめました。[1][6]

5. 1985年

   ゼロ知識証明を共同提案

   ミカリ、ラコフと、命題の正しさ以外の知識を渡さない対話型証明を定式化しました。[4][5]

6. 1988年

   安全な多者間計算へ展開

   参加者が秘密入力を明かさず必要な計算結果だけを得る一般的な枠組みへ、ゼロ知識の発想を広げました。[4][5]

7. 1993年

   Gödel Prizeを初受賞

   対話型証明に関する研究が理論計算機科学の基礎成果として評価されました。[1][7]

8. 1996年

   ACM Grace Murray Hopper Awardを受賞

   若い時期の暗号理論への重要な貢献がACMに評価されました。[1][6]

9. 2001年

   2度目のGödel Prizeを受賞

   対話型証明と近似困難性を結ぶ仕事が再び評価されました。[1][7]

10. 2012年

    ACM A.M.チューリング賞を受賞

    ミカリとともに、現代暗号の計算量理論的基礎と証明検証の新手法を築いた功績で選ばれました。[4][5]

11. 2018年

    Simons Institute所長に就任

    理論計算機科学の共同研究拠点を2024年まで率い、その後はレジリエンス研究のディレクターを務めています。[1]

12. 2026年9月8日

    MIT・Berkeley・Simonsで研究を継続

    当日の公式プロフィールで、暗号、計算量理論、レジリエンス研究に関する役割を確認しました。[2][1]

知名度や肩書きではなく、技術と産業に残した変化から人物像を整理します。

年表の出来事をつなぎ、研究テーマや仕事の選択がどのように次の段階へ結びついたかを読み解きます。

生い立ちから現在までを一本の物語として見るために、方向を大きく変えた3つの選択に絞りました。

個人の功績だけに還元せず、共同研究者、組織、社会への影響まで含めて考えるための視点です。

TechCreateの関連記事

関連記事は準備中です。

もっと知る

本人のインタビュー、論文、公式プレゼンテーション、評伝を横断し、技術思想を立体的にたどれる資料を選びました。

選定：TechCreate編集部。リンク先の内容・販売状況は各配信元でご確認ください。