Shafi Goldwasser 沙菲·戈德瓦瑟

2012年图灵奖
麻省理工学院教授
魏茨曼科学研究所教授

麻省理工学院教授、魏茨曼科学研究所教授。因开创了复杂性理论中数学证明有效验证的新方法,奠定了密码学的复杂性理论基础 , 与希尔维奥·米卡利获得了 2012 年图灵奖。

主要奖项及荣誉

2004 年,美国国家科学院院士

2005 年,美国国家工程院院士

2010 年,本杰明·富兰克林计算机及认知科学奖章

2012 年,图灵奖

教育与工作经历

1984 年,加州大学伯克利分校 计算机科学博士

1992 年至今,麻省理工学院 电气工程与计算机科学教授

1993 年至今,魏兹曼科学研究所 计算机科学与应用数学教授

2018 年至今,加州大学伯克利分校 西蒙斯计算理论研究所主任

主要学术成就

戈德瓦瑟的研究领域包括计算复杂性理论、密码学和计算数论。她是概率加密的共同发明人,建立并实现了数据加密安全的黄金标准。她是零知识证明的共同发明人,该证明在不传递任何有效信息的情况下,以概率和交互的方式演示了某个论断的有效性,是密码协议设计的关键工具。她在复杂性理论方面的工作包括近似问题的分类,研究成果表明非确定性多项式时间(NP)中的一些问题即使只需要近似解仍很难解决,以及将计算委托给不可信服务器的开创性方法。