Шафрира Гольдвассер ( иврит : שפרירה גולדווסר ; род. 1959 [5] ) — израильско-американский ученый-компьютерщик и лауреат премии Тьюринга в 2012 году. Она является профессором электротехники и информатики ЮАР в Массачусетском технологическом институте ; [6] профессор математических наук Института науки Вейцмана , Израиль ; директор Института теории вычислений Саймонса при Калифорнийском университете в Беркли ; а также соучредитель и главный научный сотрудник Duality Technologies. [7] [8] [9] [10] [11]
Гольдвассер родилась в Нью-Йорке и получила степень бакалавра наук в 1979 году в области математики и естественных наук в Карнеги-Меллоне . Она продолжила обучение в области информатики в Беркли , получив степень магистра наук в 1981 году и докторскую степень в 1984 году. Находясь в Беркли, она и ее научный руководитель Мануэль Блюм предложили криптосистему Блюма-Гольдвассера . [3]
Гольдвассер присоединился к Массачусетскому технологическому институту в 1983 году, а в 1997 году стал первым профессором ЮАР. В 1993 году она стала профессором Института науки Вейцмана одновременно с профессорством в Массачусетском технологическом институте. Она является членом группы теории вычислений в Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института . [12] В 2005 году Гольдвассер была избрана членом Национальной инженерной академии за вклад в криптографию, теорию чисел и теорию сложности, а также их приложения к конфиденциальности и безопасности, [13] , а в 2006 году Беркли наградил ее степенью в области компьютерных наук. Премия выдающимся выпускникам.
Гольдвассер был одним из лауреатов Премии Тьюринга 2012 года за «революцию в науке криптографии». [14]
С ноября 2016 года Голдвассер является главным научным сотрудником и соучредителем Duality Technologies, американского стартапа, который предлагает безопасный анализ данных с использованием передовых криптографических методов. [15] Она также является научным консультантом нескольких технологических стартапов в области безопасности, в том числе QED-it, специализирующейся на блокчейне с нулевым разглашением, и Algorand , блокчейна с чистым доказательством доли . [16]
1 января 2018 года она стала директором Института теории вычислений Саймонса в Беркли . [17]
Области исследований Гольдвассера включают теорию сложности вычислений , криптографию и теорию вычислительных чисел . Она является соавтором вероятностного шифрования [18] , которое установило и достигло золотого стандарта безопасности шифрования данных.
Гольдвассер является соавтором доказательств с нулевым разглашением , которые вероятностно и интерактивно демонстрируют обоснованность утверждения без передачи каких-либо дополнительных знаний и являются ключевым инструментом в разработке криптографических протоколов . Ее работа в области теории сложности включает классификацию задач аппроксимации, показывающую, что некоторые проблемы в NP остаются сложными, даже когда требуется только приближенное решение, [19] и новаторские методы делегирования вычислений ненадежным серверам. [20] Ее работа в области теории чисел включает совместное с Джо Килианом изобретение доказательства простоты с использованием эллиптических кривых. [21] Голдвассер также возглавляет проект CETI , междисциплинарную инициативу по переводу общения кашалотов. [22]
Гольдвассер был награжден Премией Тьюринга 2012 года вместе с Сильвио Микали за работу в области криптографии. [23]
Гольдвассер дважды получал премию Гёделя в области теоретической информатики : сначала в 1993 году (за «Сложность знаний интерактивных систем доказательства» ), [24] и снова в 2001 году (за интерактивные доказательства и твердость аппроксимирующих клик ). [25] Другие награды включают премию ACM Грейс Мюррей Хоппер (1996 г.) как выдающемуся молодому компьютерному специалисту года и премию RSA за выдающиеся достижения в области математики (1998 г.) за выдающийся математический вклад в криптографию. В 2001 году она была избрана членом Американской академии искусств и наук , а в 2002 году прочитала пленарную лекцию на Международном конгрессе математиков в Пекине. [26] В 2004 году она была избрана в Национальную академию наук , а в 2005 году в Национальную инженерную академию . В 2007 году она была выбрана научным сотрудником IACR. Гольдвассер получила в 2008–2009 годах премию Афины-лектора Комитета Ассоциации вычислительной техники по проблемам женщин в вычислительной технике. [27] Она является лауреатом медали Бенджамина Франклина в области компьютерных и когнитивных наук Института Франклина 2010 года . [28] Она получила премию IEEE Эмануэля Р. Пиоре в 2011 году. [29] Она получила награду Frontier of Knowledge 2018 вместе с Микали, Ривестом и Шамиром. [30]
Гольдвассер была избрана членом ACM в 2017 году. [31] В июле 2017 года она выступала с пленарным лектором на Математическом конгрессе Америки. [32]
В 2018 году Голдвассер была удостоена почетной степени своей альма-матер, Университета Карнеги-Меллон . [33] 26 июня 2019 года Гольдвассер был удостоен звания почетного доктора наук Оксфордского университета . [34]
Гольдвассер фигурирует на карточках «Выдающиеся женщины в области вычислений». [35] Она выиграла премию «Наука избирательного права» в 2016 году. [2] Она входила в состав жюри по математическим наукам премии Infosys в 2020 году. [36] Она была удостоена премии L'Oréal-ЮНЕСКО для женщин в науке в области компьютерных наук в 2021 году. . [37]