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

シャフリラ・ゴールドワッサー（Shafrira Goldwasser、、1958年 - ）は、マサチューセッツ工科大学の電気工学と計算機科学の教授で、イスラエルのワイツマン科学研究所の数学の教授。通称はシャフィ (Shafi)。

経歴 
ニューヨーク生まれ。カーネギーメロン大学で数学の学士号を取得し（1979年）、カリフォルニア大学バークレー校で計算機科学の修士号（1981年）と博士号（1983年）を取得した。彼女は1983年からMITに勤務し、1997年に最初のRSAプロフェッサーシップを獲得した。MITコンピュータ科学・人工知能研究所の計算理論グループの一員である。

2001年、アメリカ芸術科学アカデミー、2004年、全米科学アカデミー、2005年、全米技術アカデミーの会員、2007年、フェローに選ばれた。

業績 
ゴールドワッサーの研究領域は計算複雑性理論、暗号理論、計算数論などである。彼女はゼロ知識証明の発明者の1人である。これは、追加の知識なしで表明の正当性を蓋然的かつ対話的に証明する手法であり、暗号設計の重要な手段の一つとなっている。計算複雑性理論では近似問題の分類に関してNPの近似解だけが必要な場合でも解を得るのが困難な問題があることを示した。

受賞歴 
 ゲーデル賞
 1回目（1993年） - 「対話型証明システムにおける知識複雑性」に対して
 2回目（2001年） - 「対話型証明と Cliques 近似の困難性」に対して
 ACM グレース・ホッパー賞（1996年）
 RSA Award in Mathematics（1998年）
 2008-2009 Athena Lecturer Award of the Association for Computing Machinery's Committee on Women in Computing
 ベンジャミン・フランクリン・メダル（2010年）
 IEEE Emanuel R. Piore Award（2011年）
 チューリング賞（2012年）
 ロレアル-ユネスコ女性科学賞（2021年）

出典

関連項目

外部リンク 
 
 Goldwasser's MIT page
 A digital signature scheme secure against adaptive chosen-message attacks

アメリカ合衆国の女性計算機科学者
イスラエルの計算機科学者
イスラエルの女性科学者
アメリカ合衆国の暗号研究者
イスラエルの暗号研究者
アメリカ合衆国の女性数学者
ゲーデル賞受賞者
グレース・ホッパー賞の受賞者
ベンジャミン・フランクリン・メダル (フランクリン協会) 受賞者
IEEEエマニエル・R・ピオレ賞の受賞者
チューリング賞受賞者
BBVAファンデーション・フロンティアーズ・オブ・ナレッジ賞の受賞者
ロレアル-ユネスコ女性科学賞受賞者
数学に関する記事
米国科学アカデミー会員
ACMフェロー
アメリカ芸術科学アカデミー会員
全米技術アカデミー会員
ワイツマン科学研究所の教員
マサチューセッツ工科大学の教員
ワイツマン科学研究所の人物
MITコンピュータ科学・人工知能研究所の人物
ニューヨーク市出身の人物
ユダヤ系アメリカ人
イスラエル系アメリカ人
ユダヤ系イスラエル人
ユダヤ人の科学者
ニューヨーク州の数学者
1958年生
存命人物