Материал из РУВИКИ — свободной энциклопедии

Гольдвассер, Шафи

Шафрира (Шафи) Гольдвассер
Shafi Goldwasser (שפרירה גולדווסר)
Портрет, сделанный для ACM в 2013 году в связи с присуждением премии Тьюринга
Портрет, сделанный для ACM в 2013 году в связи с присуждением премии Тьюринга
Имя при рождении Шафрира Гольдвассер
Дата рождения 14 ноября 1958(1958-11-14) (67 лет)
Место рождения
Страна Израиль
США
Научная сфера Теория вычислительных систем, криптография
Место работы Массачусетский технологический институт, Институт Вейцмана
Образование Университет Карнеги — Меллона (1979)
Калифорнийский университет в Беркли (1981, 1984)
Учёная степень доктор философии в области компьютерных наук
Учёное звание профессор
Член Национальной академии наук США (2004)
Член Национальной инженерной академии США (2005)
Иностранный член Лондонского королевского общества (2023)
Научный руководитель Мануэль Блюм[1]
Ученики Йохан Хостад
Салил Вадхан
Амит Сахаи
Винод Вайкунтанатан
Яэль Тауман Калай
Известна как соавтор вероятностного шифрования и доказательств с нулевым разглашением
Награды и премии Премия Гёделя (1993, 2001)
Премия имени Грейс Мюррей Хоппер (1996)
Премия RSA в области математики (1998)
Медаль Бенджамина Франклина (2010)
Премия Пиора (2011)
Премия Тьюринга (2012)
Премия BBVA Foundation Frontiers of Knowledge (2018)
Премия L'Oréal — ЮНЕСКО «Для женщин в науке» (2021)
Сайт people.csail.mit.edu/sha…
Логотип РУВИКИ.Медиа Медиафайлы на РУВИКИ.Медиа

Шафи Гольдвассер (англ. Shafi Goldwasser, ивр.שפרירה גולדווסר‏‎ (שפי); род. 14 ноября 1958, Нью-Йорк, Нью-Йорк[4]) — израильско-американская учёная, исследовательница в области теории вычислительных систем, лауреат премии Тьюринга 2012 года. Является профессором электротехники и компьютерных наук в Массачусетском технологическом институте[5] и Калифорнийском университете в Беркли[6], а также профессором математики в институте Вейцмана. Соучредитель и главный научный сотрудник компании Duality Technologies[7][8].

Член Национальной академии наук США (2004)[9], Национальной инженерной академии США (2005)[10], иностранный член Российской академии наук (2016)[11].

Родилась в 1959 году в Нью-Йорке в семье израильтян. Вскоре после её рождения семья вернулась в Израиль, где Гольдвассер выросла и окончила школу в Тель-Авиве, после чего вернулась в США для получения высшего образования.

Получила степень бакалавра по математике в университете Карнеги — Меллон в 1979 году, после чего поступила в Калифорнийский университет в Беркли, где получила степени магистра (1981) и доктора философии по информатике (1984)[12]. Её научным руководителем был Мануэль Блюм[13].

В 1983 году начала преподавать в Массачусетском технологическом институте[13]. С 1993 года — дополнительно работает профессором в институте Вейцмана[12][13]. С 1 января 2018 года по август 2024 года занимала должность директора Института Саймонса по теории вычислений в Беркли, после чего заняла в институте пост директора по исследованиям (Research Director).

Научный вклад

[править | править код]

Шафи Гольдвассер известна своими фундаментальными работами в области криптографии и теории сложности вычислений, за которые она, совместно с Сильвио Микали, была удостоена премии Тьюринга в 2012 году[14].

Ключевые научные достижения:

  • Вероятностное шифрование (англ. Probabilistic Encryption). Гольдвассер является соавтором этой концепции, заложившей основы современной криптографии. В 1982 году вместе с Сильвио Микали она разработала первую доказуемо стойкую схему вероятностного шифрования с открытым ключом, известную как криптосистема Гольдвассер — Микали (GM). Эта система ввела стандарт семантической стойкости для шифрования, предложив метод, при котором одно и то же сообщение шифруется разными способами, что скрывает информацию о зашифрованных данных.
  • Доказательство с нулевым разглашением (англ. Zero-Knowledge Proofs). Гольдвассер — одна из создателей интерактивных доказательств с нулевым разглашением[14]. Это криптографический протокол, который позволяет одной стороне (доказывающей) убедить другую (проверяющую) в истинности утверждения, не раскрывая никакой дополнительной информации, кроме самого факта истинности. Эти протоколы являются ключевым инструментом в криптографических системах и находят применение в таких технологиях, как блокчейн и криптовалюта, для обеспечения конфиденциальности[14].
  • Теория сложности вычислений. Гольдвассер внесла значительный вклад в эту область, в частности, в классификацию задач аппроксимации. Её работы показали, что некоторые NP-трудные задачи остаются сложными даже тогда, когда требуется найти лишь приблизительное решение. Она также является одним из пионеров в области интерактивных и многопроверковых систем доказательств (позже названных вероятностно проверяемыми доказательствами, PCP), которые связывают теорию доказательств с трудностью нахождения приближённых решений для комбинаторных задач.
  • Тесты простоты на основе эллиптических кривых. В области вычислительной теории чисел Гольдвассер совместно с Джо Килианом разработала метод проверки простоты чисел с использованием эллиптических кривых[15].

Премии и награды

[править | править код]

За свой вклад в науку Шафи Гольдвассер была удостоена множества наград, почётных званий и членства в ведущих научных организациях.

Награды и премии[править | править код]

Членство в академиях и обществах[править | править код]

Почётные звания[править | править код]

Известные ученики

[править | править код]

Шафи Гольдвассер была научным руководителем для множества аспирантов, которые впоследствии стали известными исследователями и лауреатами престижных премий в области теоретической информатики.

  • Йохан Хостад — шведский учёный в области теоретической информатики, один из первых аспирантов Гольдвассер[32]. Известен своими работами по теории сложности вычислений. Является лауреатом двух премий Гёделя (1994 и 2011) и премии Кнута (2018)[33].
  • Салил Вадхан (англ. Salil Vadhan) — профессор компьютерных наук и прикладной математики в Гарвардском университете. Его исследования охватывают теорию сложности, криптографию и конфиденциальность данных. Лауреат премии Гёделя (2009) и исследователь фонда Саймонса (Simons Investigator)[34][35].
  • Амит Сахаи (англ. Amit Sahai) — профессор Калифорнийского университета в Лос-Анджелесе (UCLA). Является соавтором таких концепций, как шифрование на основе атрибутов (Attribute-Based Encryption) и неразличимая обфускация. Удостоен премии Хельда от Национальной академии наук США (2022), является исследователем фонда Саймонса и членом ACM[32].
  • Винод Вайкунтанатан — профессор Массачусетского технологического института (MIT). Один из изобретателей современных систем полностью гомоморфного шифрования. За эту работу был удостоен премии Гёделя в 2022 году[36].
  • Яэль Тауман Калай — старший научный сотрудник Microsoft Research и адъюнкт-профессор в MIT. Получила премию ACM в области вычислительной техники в 2022 году за прорыв в области верифицируемого делегирования вычислений[37]. Её докторская диссертация, написанная под руководством Гольдвассер, получила премию Джорджа Спроулза за лучшую диссертацию в области компьютерных наук в Беркли[38].

Примечания

[править | править код]
  1. Гольдвассер, Шафи (англ.) в проекте «Математическая генеалогия»
  2. http://www.sciencedirect.com/science/article/pii/S001600321300015X
  3. http://www.news-gazette.com/blogs/there-yet/2011-03/goldwassers-celebrate-lifetime-together-and-more.html
  4. Shafi Goldwasser - A.M. Turing Award Laureate. ACM. Дата обращения: 6 ноября 2025.
  5. Shafi Goldwasser | MIT CSAIL (англ.). www.csail.mit.edu. Дата обращения: 9 июля 2019. Архивировано 20190917083912 года.
  6. Shafi Goldwasser. Simons Institute for the Theory of Computing. Дата обращения: 6 ноября 2025.
  7. Shafi Goldwasser - Expert Profile. Doradolist. Дата обращения: 6 ноября 2025.
  8. Shafi Goldwasser. Forbes. Дата обращения: 6 ноября 2025.
  9. Гольдвассер, Шафи на сайте Национальной академии наук США  (англ.)
  10. Dr. Shafrira Goldwasser Архивная копия от 2 мая 2019 на Wayback Machine  (англ.)
  11. Профиль Шафриры Гольдвассер на официальном сайте РАН
  12. 1 2 CV Шафи Гольдвассер. Лаборатория компьютерных наук и искусственного интеллекта Массачусетского технологического института (англ.). http://people.csail.mit.edu/shafi/wordpress/?page_id=20#cv.+Дата обращения: 9 марта 2016. Архивировано 19 марта 2015 года.
  13. 1 2 3 4 Shafi Goldwasser. Scientific Women. Дата обращения: 6 ноября 2025.
  14. 1 2 3 Shafi Goldwasser, cryptography pioneer. Berkeley Engineering. Дата обращения: 6 ноября 2025.
  15. Shafi Goldwasser. Infosys Prize. Дата обращения: 6 ноября 2025.
  16. Harold Pender Award. University of Pennsylvania. Дата обращения: 6 ноября 2025.
  17. Shafi Goldwasser wins L’Oréal-UNESCO For Women in Science Award. MIT News (11 февраля 2021). Дата обращения: 6 ноября 2025.
  18. Shafi Goldwasser. EECS at UC Berkeley. Дата обращения: 6 ноября 2025.
  19. 10th Edition Archives — Premios Fronteras. Дата обращения: 9 июля 2019. Архивировано 23 апреля 2019 года.
  20. 1 2 3 4 5 6 7 8 9 10 11 12 Shafi Goldwasser. Royal Society. Дата обращения: 6 ноября 2025.
  21. Turing award 2012. ACM. Архивировано 21 марта 2013 года.
  22. IEEE EMANUEL R. PIORE AWARD. Дата обращения: 9 июля 2019. Архивировано 4 апреля 2019 года.
  23. Goldwasser, Stubbe named Franklin Institute laureates | MIT News. Дата обращения: 9 июля 2019. Архивировано 26 сентября 2020 года.
  24. Shafrira Goldwasser, Computer and Cognitive Science (2010) | The Franklin Institute. Дата обращения: 9 июля 2019. Архивировано 9 июля 2019 года.
  25. 2001 Gödel Prize. Дата обращения: 9 июля 2019. Архивировано 22 апреля 2021 года.
  26. RSA conference award for mathematics. Дата обращения: 9 июля 2019. Архивировано 5 декабря 2019 года.
  27. 1 2 Shafi Goldwasser awards.acm.org. Дата обращения: 9 июля 2019. Архивировано 24 марта 2019 года.
  28. 1993 Gödel Prize. Дата обращения: 9 июля 2019. Архивировано 1 ноября 2021 года.
  29. Shafi Goldwasser named fellow of the Royal Society. EECS at UC Berkeley (12 мая 2023). Дата обращения: 6 ноября 2025.
  30. 1 2 Shafi Goldwasser. Carnegie Mellon University. Дата обращения: 6 ноября 2025.
  31. 1 2 Шафи Гольдвассер: как математик из Израиля изменила криптографию и стала лауреатом «Нобелевской премии по информатике». Habr (12 марта 2024). Дата обращения: 6 ноября 2025.
  32. 1 2 Amit Sahai. Simons Institute for the Theory of Computing. Дата обращения: 6 ноября 2025.
  33. Hastad to Receive 2011 Godel Prize. Computational Complexity (20 мая 2011). Дата обращения: 6 ноября 2025.
  34. Salil Vadhan. American Academy of Arts & Sciences. Дата обращения: 6 ноября 2025.
  35. Salil Vadhan named Simons Investigator. Center for Research on Computation and Society at Harvard University. Дата обращения: 6 ноября 2025.
  36. Prof. Vinod Vaikuntanathan. ACR, IIT Madras. Дата обращения: 6 ноября 2025.
  37. Yael Tauman Kalai awarded the 2022 ACM Prize in Computing. MIT EECS (27 апреля 2022). Дата обращения: 6 ноября 2025.
  38. Yael Tauman Kalai wins ACM Prize in Computing. MIT News (19 апреля 2023). Дата обращения: 6 ноября 2025.