Shafrira Goldwasser

Shafrira Goldwasser

Shafrira „Shafi” Goldwasser ( hebr. שפרירה גולדווסר; * 1958 w Nowym Jorku ) jest amerykańskim informatykiem.

Życie

W 1979 roku uzyskała tytuł licencjata z matematyki na Carnegie Mellon University , tytuł magistra w 1981 oraz doktorat z informatyki na UC Berkeley w 1984 roku . W 1983 roku przystąpiła do MIT, aw 1997 roku została pierwszym posiadaczem nowej profesuru RSA w dziedzinie elektrotechniki i informatyki. Jest członkiem Zespołu Teorii Obliczeń w Laboratorium Informatyki i Sztucznej Inteligencji MIT . Jest również profesorem informatyki i matematyki stosowanej w Instytucie Nauki Weizmanna w Izraelu .

akt

Goldwasser zajmuje się teorią złożoności , kryptografią i algorytmiczną teorią liczb . W 1986 roku wraz z Joe Kilianem opracowała dowód liczb pierwszych na podstawie krzywych eliptycznych , nazwany na cześć obu autorów . Jest (około 1982 r.) współtwórcą dowodów z wiedzą zerową (a także interaktywnych systemów dowodowych w tej samej pracy z Charlesem Rackoffem i Silvio Micalim ), które interaktywnie i probabilistycznie pokazują słuszność twierdzenia bez przekazywania dodatkowej wiedzy i są kluczowym narzędziem w projektowaniu protokołów kryptograficznych. Jej dalszy wkład w dziedzinie kryptografii obejmuje współtworzenie kryptosystemu Blum-Goldwasser i procesu podpisu GMR . Jej praca z teorii złożoności dotyczy klasyfikacji problemów przybliżonych, gdzie wykazała, że ​​niektóre problemy NP-trudne pozostają trudne, nawet jeśli poszukuje się tylko przybliżonego rozwiązania.

Nagrody

Goldwasser został wyróżniony Nagrodą Gödla w Theoretical Computer Science dwukrotnie dla niej przełomowe wyniki : pierwszy w 1993 roku (za „Złożoność znajomość systemów interaktywnych dowód” ), a następnie w 2001 roku (za „Interactive dowodów i twardości zbliżenia klik” ), jej udział w twierdzeniu PCP . Inne nagrody obejmują Grace Murray Hopper Award ACM dla wybitnego młodego eksperta komputerowego z 1996 r., RSA Award in Mathematics (1998) za wybitny wkład matematyczny w kryptografię oraz BBVA Foundation Frontiers of Knowledge Award (2017). W 2002 roku wygłosiła wykład plenarny na Międzynarodowym Kongresie Matematyków w Pekinie ( Matematyczne podstawy współczesnej kryptografii: perspektywa złożoności obliczeniowej ), a w 1990 została zaproszona jako prelegent na ICM w Kioto ( Interaktywne dowody i aplikacje ).

Została wybrana do Amerykańskiej Akademii Sztuki i Nauki w 2001 roku, Narodowej Akademii Nauk w 2004 roku i Narodowej Akademii Inżynierii w 2005 roku . Była członkiem Israel Akademii Nauk od 2015 roku i człon zewnętrzny Rosyjskiej Akademii Nauk od 2016 roku . W 2015 roku została honorowym członkiem London Mathematical Society . W 2012 roku otrzymała Nagrodę Turinga . Otrzymała Nagrodę UNESCO L'Oréal za rok 2021 .

linki internetowe

• Strona domowa Shafi Goldwasser na MIT (angielski)
• Wejście do Izraelskiej Akademii Nauk

Indywidualne dowody

1. ↑ Shafrira Goldwasser w Projekcie Genealogii Matematycznej (j. angielski)Szablon: MathGenealogyProject / Maintenance / id used
2. ↑ Shafi Goldwasser, Joe Kilian: Prawie wszystkie liczby pierwsze mogą być szybko certyfikowane. Proc. 18th STOC Berkeley 1986, s. 316-329; Testowanie pierwszości z wykorzystaniem krzywych eliptycznych. Dziennik ACM 46 (1999), nr 4, s. 450-472
3. ↑ test pierwszości Goldwasser-Kilian ( pamiątka z oryginałem 21 lipca 2007 w Internet Archive ) Info: archiwum Link został wstawiony automatycznie i nie została jeszcze sprawdzona. Sprawdź link do oryginału i archiwum zgodnie z instrukcjami, a następnie usuń to powiadomienie. (PDF; 132 kB) @1@2Szablon: Webachiv / IABot / crypto.math.uni-bremen.de
4. ↑ Shafi Goldwasser, Silvio Micali, Charles Rackoff The knowledge complex of interactive proof systems , SIAM Journal on Computing, Volume 18, 1989, s. 186-208 oraz STOC (ACM Symposium on the Theory of Computing) 1985 (preprinty pracy powinny już w 1982)
5. ^ Księga Członków. Pobrano 26 lipca 2016 . 
6. ↑ Członkowie zagraniczni Rosyjskiej Akademii Nauk: Гольдвассер, Шафрира. Rosyjska Akademia Nauk, dostęp 27 marca 2021 r. (w języku rosyjskim).