Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Шафи Гольдвассер
Шафи Голдвассер.JPG
Шафи Гольдвассер в 2010 году
Родившийся
Иврит : שפרירה גולדווסר
Английский: Shafrira Гольдвасер

1959 (61–62 года)
Нью-Йорк , Нью-Йорк , США
НациональностьИзраильский американец
Альма-матер
Известен
Награды
Научная карьера
ПоляИнформатика , криптография
Учреждения
ТезисВероятностное шифрование: теория и приложения  (1984)
ДокторантМануэль Блюм [4]
Докторанты
Интернет сайтлюди .csail .mit .edu / shafi Отредактируйте это в Викиданных

Шафрира Гольдвассер ( иврит : שפרירה גולדווסר ; родился в 1959 г.) - израильско-американский ученый - компьютерщик, лауреат премии Тьюринга в 2012 году. Она - профессор электротехники и компьютерных наук в Массачусетском технологическом институте , [5], профессор математических наук. в Институте науки Вейцмана , Израиль , соучредитель и главный научный сотрудник компании Duality Technologies [6] и директор Института теории вычислений Саймонса в Беркли, Калифорния. [7] [8] [9] [10]Она входила в состав жюри по математическим наукам на премию Infosys в 2020 году [11].

Образование и ранняя жизнь [ править ]

Голдвассер родилась в Нью-Йорке и в 1979 году получила степень бакалавра наук в области математики и естественных наук в Университете Карнеги-Меллона . В аспирантуре она получила степень магистра наук в 1981 году, а затем докторскую степень (1984) в области компьютерных наук в Калифорнийском университете в Беркли под руководством Мануэля Блюма . [4]

Карьера и исследования [ править ]

Гольдвассер начал работать в Массачусетском технологическом институте в 1983 г., а в 1997 г. стал первым обладателем звания профессора RSA. В 1993 году она стала профессором Института Вейцмана , одновременно занимая должность профессора в Массачусетском технологическом институте. Она является членом группы теории вычислений в Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института . [12] Голдвассер был одним из лауреатов премии Тьюринга 2012 года . [13] На 1 январь 2018, Гольдвасера стал директором Института Simons для теории вычислений в Университете Калифорнии, Беркли . [14]

С ноября 2016 года Голдвассер является главным научным сотрудником и соучредителем Duality Technologies, американского стартапа, который предлагает безопасную аналитику данных с использованием передовых криптографических методов. [15] Она также является научным консультантом нескольких технологических стартапов в области безопасности, включая QED-it, специализирующуюся на блокчейне с нулевым разглашением, и Algorand, блокчейне с чистым подтверждением доли владения . [16]

Области исследований Голдвассера включают теорию вычислительной сложности , криптографию и теорию вычислительных чисел . Она является соавтором вероятностного шифрования [17], которое установило и достигло золотого стандарта безопасности для шифрования данных. Она является соавтором доказательств с нулевым разглашением , которые вероятностно и интерактивно демонстрируют достоверность утверждения без передачи каких-либо дополнительных знаний, и являются ключевым инструментом в разработке криптографических протоколов . Ее работа в области теории сложности включает классификацию проблем аппроксимации, показывающую, что некоторые проблемы в NPостаются трудными, даже когда требуется только приблизительное решение [18] и новаторские методы делегирования вычислений ненадежным серверам. [19] Ее работа в области теории чисел включает изобретение вместе с Джо Килианом доказательства простоты с использованием эллиптических кривых. [20]

Награды и награды [ править ]

Голдвассер был награжден премией Тьюринга 2012 года вместе с Сильвио Микали за их работу в области криптографии. [21] Гольдвассер дважды выигрывал премию Гёделя в области теоретической информатики : сначала в 1993 году (за «Сложность знаний в интерактивных системах доказательства» ), [22] и снова в 2001 году (за интерактивные доказательства и твердость аппроксимирующих клик ). [23] Среди других наград - премия ACM Grace Murray Hopper (1996) как выдающемуся молодому профессионалу года в области компьютеров и награда RSA за выдающиеся достижения в математике.(1998) за выдающийся математический вклад в криптографию. В 2001 году она была избрана членом Американской академии искусств и наук, а в 2002 году прочитала пленарную лекцию на Международном конгрессе математиков в Пекине. [24] В 2004 году она была избрана членом Национальной академии наук , а в 2005 году - Национальной инженерной академии . В 2007 году она была выбрана в качестве стипендиата IACR . Голдвассер получила в 2008-2009 годах премию Athena Lecturer Award Комитета по делам женщин в вычислительной технике Ассоциации вычислительной техники. [25] Она является получателем Франклин институт «с 2010 Бенджамин Франклин медальв области компьютерных и когнитивных наук. [26] В 2011 году она получила премию IEEE Emanuel R. Piore Award . Она получила премию Frontier of Knowledge 2018 вместе с Микали, Ривестом и Шамиром. [27] Она была избрана стипендиатом ACM в 2017 году. [28] В июле 2017 года она была пленарным лектором на Математическом конгрессе Америки. [29] В 2018 году она была удостоена почетной степени в своей альма-матер, Университете Карнеги-Меллона . [30] 26 июня 2019 года Гольдвассер был удостоен звания почетного доктора наук Оксфордского университета . [31]

Голдвассер фигурирует в картах «Известные женщины в вычислительной технике». [32] В 2016 году она выиграла научную премию « Избирательное право» . [3]

Ссылки [ править ]

  1. ^ Goldwasser, S .; Микали, С .; Ривест, Р.Л. (1988). «Схема цифровой подписи, защищенная от атак с адаптивным выбранным сообщением». SIAM Journal on Computing . 17 (2): 281. CiteSeerX  10.1.1.309.8700 . DOI : 10.1137 / 0217017 .
  2. Перейти ↑ Savage, N. (2013). «Вероятные доказательства: Шафи Голдвассер и Сильвио Микали заложили основы современной криптографии, внося свой вклад в интерактивные доказательства и доказательства с нулевым разглашением». Коммуникации ACM . 56 (6): 22. DOI : 10,1145 / 2461256,2461265 . S2CID 26769891 . 
  3. ^ a b «Математика и вычисления на основе избирательного права, 2016» . Issuu.com .
  4. ^ a b c Шафи Гольдвассер в проекте « Математическая генеалогия»
  5. ^ "Шафи Гольдвассер | MIT CSAIL" . www.csail.mit.edu . Проверено 2 ноября 2018 года .
  6. ^ «О - Технологии двойственности» . Технологии двойственности . Проверено 10 апреля 2018 года .
  7. ↑ Хирш, Дебора (16 декабря 2012 г.). "Еврейский шестилетний младший из жертв стрельбы в Ньютауне" . Архивировано из оригинального 27 сентября 2010 года.
  8. ^ Гольдвассер страницу профиля автора в ACM Digital Library
  9. ^ Публикация Гольдвассера в индексируется Scopus библиографической базы данных. (требуется подписка)
  10. ^ Goldwasser, S .; Микали, С. (1984). «Вероятностное шифрование» . Журнал компьютерных и системных наук . 28 (2): 270. DOI : 10.1016 / 0022-0000 (84) 90070-9 .
  11. ^ «Приз Infosys - Жюри 2020» . www.infosys-science-foundation.com . Проверено 10 декабря 2020 года .
  12. ^ Шафи Гольдвассер Биография . www.BookRags.com .
  13. ^ AbAbazorius, CSAIL (13 марта 2013). «Голдвассер и Микали выигрывают премию Тьюринга» . MIT News .
  14. ^ «Шафи Гольдвассер назначен директором Симонса Института теории вычислений» . News.berkeley.edu . 10 октября 2017 года . Проверено 10 апреля 2018 года .
  15. ^ «О - Технологии двойственности» . Технологии двойственности . Проверено 10 апреля 2018 года .
  16. ^ "Команда" . www.algorand.com .
  17. ^ «Вероятностное шифрование» (PDF) . Группы.csail.mit.edu . Проверено 10 апреля 2018 года .
  18. ^ "Интерактивные доказательства и твердость приближающих клик" (PDF) . Группы.csail.mit.edu . Проверено 10 апреля 2018 года .
  19. ^ Гольдвасер, Шафи; Калаи, Яэль Тауман; Ротблюм, Гай (1 января 2008 г.). «Делегирование вычислений: интерактивные доказательства для маглов» . Microsoft Research . Проверено 10 апреля 2018 года .
  20. ^ Гольдвасер, Шафи; Килиан, Джо (июль 1999 г.). «Проверка на простоту с помощью эллиптических кривых». Журнал ACM . 46 (4): 450–472. DOI : 10.1145 / 320211.320213 . S2CID 12453179 . 
  21. ^ «Голдвассер, Микали получают премию ACM Тьюринга за достижения в области криптографии» . ACM. Архивировано из оригинального 16 марта 2013 года . Проверено 13 марта 2013 года .
  22. ^ Goldwasser, S .; Micali, S .; Ракофф, К. (1985). «Сложность знаний интерактивных доказательств-систем». Материалы семнадцатого ежегодного симпозиума ACM по теории вычислений - STOC '85 . п. 291. CiteSeerX 10.1.1.397.4002 . DOI : 10.1145 / 22145.22178 . ISBN  978-0897911511. S2CID  8689051 .
  23. ^ Feige, U .; Goldwasser, S .; Lovász, L .; Safra, S .; Сегеди, М. (1996). «Интерактивные доказательства и твердость приближающихся клик» . Журнал ACM . 43 (2): 268–292. DOI : 10.1145 / 226643.226652 .
  24. ^ «Пленарные спикеры» . www.mathunion.org .
  25. ^ "Дом" . weizmann.ac.il .
  26. ↑ Служба новостей (21 октября 2009 г.). «Гольдвассер, Стуббе названы лауреатами Института Франклина» . MIT News .
  27. ^ "Домашняя страница - Premios Fronteras" . Premios Fronteras . Проверено 10 апреля 2018 года .
  28. ^ ACM признает стипендиатов 2017 г. за внесение трансформирующего вклада и развитие технологий в эпоху цифровых технологий , Ассоциация вычислительной техники, 11 декабря 2017 г. , данные получены 13 ноября 2017 г.
  29. ^ "Главная | Математический Конгресс Америк 2017" . mca2017.org .
  30. ^ Университет, Карнеги-Меллон. «Докладчики на церемонии вручения дипломов и обладатели почетных ученых степеней - Руководство - Университет Карнеги-Меллона» . www.cmu.edu . Проверено 21 сентября 2018 года .
  31. ^ «Объявлены почетные звания на 2019 год» . Оксфордский университет . Проверено 26 июня 2019 года .
  32. ^ «Известные женщины в вычислительной технике» .