莎菲·戈德瓦塞爾（Shafi Goldwasser），1959年出生於美國紐約，2012年圖靈獎得主，美國國家科學院院士，美國國家工程院院士，麻省理工學院計算機科學RSA教授，魏茨曼科學研究所計算機科學與套用數學教授。
莎菲·戈德瓦塞爾於1979年獲得卡內基梅隆大學學士學位；1981年獲得加州大學伯克利分校碩士學位；1983年至1987年擔任麻省理工學院助理教授；1984年獲得加州大學伯克利分校博士學位；1987年至1992年擔任麻省理工學院副教授；1992年受聘為麻省理工學院電子工程與計算機科學教授；1993年受聘為魏茨曼科學研究所計算機科學與套用數學教授；1995年任命為麻省理工學院密碼學和信息安全小組的共同領導和負責人；1997年受聘為麻省理工學院RSA電子工程與計算機科學教授；2001年當選為美國藝術與科學院院士；2004年當選為美國國家科學院院士；2005年當選為美國國家工程院院士；2007年當選為IACR Fellow（國際密碼研究協會會士）；2012年獲得圖靈獎。
莎菲·戈德瓦塞爾致力於密碼學，計算數論，複雜性理論，分散式容錯計算，機率證明系統，近似算法的研究。
基本介紹
人物經歷,主要成就,科研成就,人才培養,榮譽表彰,社會任職,人物評價,
人物經歷
1959年，莎菲·戈德瓦塞爾出生於美國紐約。
1979年，獲得卡內基梅隆大學學士學位。
1981年，獲得加州大學伯克利分校碩士學位。
1983年—1987年，擔任麻省理工學院助理教授。
1984年，獲得加州大學伯克利分校博士學位，導師是Manuel Blum教授，博士論文題目為“Probabilistic Encryption: Theory and Applications”。
1987年—1992年，擔任麻省理工學院副教授。
1992年，受聘為麻省理工學院電子工程與計算機科學教授。
1993年，受聘為魏茨曼科學研究所計算機科學與套用數學教授。
1995年，任命為麻省理工學院密碼學和信息安全小組的共同領導和負責人。
1997年，受聘為麻省理工學院RSA電子工程與計算機科學教授。
2001年，當選為美國藝術與科學院院士。
2004年，當選為美國國家科學院院士。
2005年，當選為美國國家工程院院士。
2007年，當選為IACR Fellow（國際密碼研究協會會士）。
2012年，獲得圖靈獎。
2021年，獲得第23屆“世界傑出女科學家成就獎”。
主要成就
科研成就
- 科研綜述
莎菲·戈德瓦塞爾及其合作者一起為密碼學奠定了複雜性理論基礎，並在此過程中開創了有效驗證複雜性理論數學證明的新方法；創建了現代密碼學的理論基礎，引入零知識互動證明，引入多證明者證明（後來被稱為機率可檢驗證明），發現機率可檢驗證明與近似問題的難解性之間的聯繫，展示了如何使用橢圓曲線理論區分素數和複合數，以及啟動組合性質測試。
- 學術論文
據2023年8月AMiner平台數據，莎菲·戈德瓦塞爾已發表學術論文225篇，論文被引40159次，H-index：78。
人才培養
- 教授課程
據2023年8月莎菲·戈德瓦塞爾個人主頁顯示，她負責教授算法設計與分析課程；莎菲·戈德瓦塞爾曾教授密碼學與密碼分析、證明的演化、密碼學的新發展、網路與計算機安全、密碼學研究前沿（或高級密碼學II）、計算機科學數學等課程。
榮譽表彰
獲獎時間 | 榮譽表彰 |
|---|---|
1983年—1985年 | IBM青年教師發展獎 |
1987年—1992年 | 美國國家科學基金會主席青年研究員獎 |
1991年—1996年 | 美國國家科學基金會女科學家獎 |
1996年 | 美國計算機協會格蕾絲·默里·霍珀獎 |
1998年 | RSA數學傑出貢獻獎 |
1999年 | 魏茨曼學會利文森數學獎 |
2001年 | 美國藝術與科學院院士 |
2004年 | 美國國家科學院院士 |
2005年 | 美國國家工程院院士 |
2006年 | 加州大學伯克利分校傑出校友計算機科學與工程獎 |
2007年 | IACR Fellow（國際密碼研究協會會士） |
2010年 | 富蘭克林研究所班傑明·富蘭克林計算機和認知獎章 |
2011年 | IEEE Emanuel R. Piore獎 |
2012年 | 西蒙斯基金會研究者獎 |
2012年 | 圖靈獎 |
2021年 | 世界傑出女科學家成就獎 |
參考資料： | |
社會任職
莎菲·戈德瓦塞爾是麻省理工學院（MIT）計算理論（TOC）小組的負責人，密碼學和信息安全（CIS）小組的聯合負責人，麻省理工學院計算機科學與人工智慧實驗室（CSAIL）複雜性理論小組的成員，WIS計算機科學小組基金會的成員。
人物評價
莎菲·戈德瓦塞爾在密碼學、計算複雜性、計算數論和機率算法方面作出了重要貢獻（Shafi Goldwasser has made fundamental contributions to cryptography, computational complexity, computational number theory and probabilistic algorithms）。（國際計算機學會評）
希爾維奧·米卡利和莎菲·戈德瓦塞爾的獨創性和遠見是鼓舞人心的，他們的工作為最嚴格的數學標準提供了計算證明。他們把一代學生和同事培養得同樣大膽和有創造力（Silvio and Shafi’s originality and foresight are inspirational, and their work holds computational proofs to the most stringent mathematical standards）。（圖靈獎評）
