Shafrira Goldwasser

Shafrira Goldwasser

Shafrira "Shafi" Goldwasser ( hebraisk שפרירה גולדווסר; * 1958 i New York City ) er en amerikansk informatiker.

Liv

I 1979 mottok hun en bachelorgrad i matematikk fra Carnegie Mellon University , en mastergrad i 1981 og en doktorgrad i informatikk fra UC Berkeley i 1984 . I 1983 kom hun til MIT og ble i 1997 den første innehaveren av det nye RSA- professoratet for elektroteknikk og informatikk. Hun er medlem av Theory of Computation Group ved MIT Computer Science and Artificial Intelligence Laboratory . Hun er også professor i informatikk og anvendt matematikk ved Weizmann Institute for Science i Israel .

Handling

Goldwasser forsker på kompleksitetsteori , kryptografi og algoritmisk tallteori . I 1986 utviklet hun sammen med Joe Kilian beviset for primtall basert på elliptiske kurver , oppkalt etter begge forfatterne . Hun er (rundt 1982) medoppfinner av null kunnskapsbevis (samt interaktive bevis systemer i samme arbeid med Charles Rackoff og Silvio Micali ), som viser gyldigheten av en påstand interaktivt og sannsynlig uten overføring av ytterligere kunnskap. og er et sentralt verktøy i utformingen av kryptografiske protokoller. Hennes ytterligere bidrag innen kryptografi inkluderer co-utvikling av Blum-Goldwasser-kryptosystemet og GMR- signaturprosessen. Hennes arbeid innen kompleksitetsteori tar for seg klassifiseringen av tilnærmede problemer , der hun viste at noen NP-harde problemer forblir vanskelige selv om det bare søkes en tilnærmet løsning.

Utmerkelser

Goldwasser ble tildelt Gödelprisen i teoretisk informatikk to ganger for sine banebrytende resultater : først i 1993 (for "The knowledge complexity of interactive proof systems" ), og igjen i 2001 (for "Interactive Proofs and the Hardness of Approximating Cliques" ), hennes deltakelse på PCP-teoremet . Andre priser inkluderer ACMs Grace Murray Hopper Award for Outstanding Young Computer Expert fra 1996, RSA Award in Mathematics (1998) for fremragende matematiske bidrag til kryptografi og BBVA Foundation Frontiers of Knowledge Award (2017). I 2002 holdt hun en plenarforelesning på den internasjonale kongressen for matematikere i Beijing ( Matematiske grunnlag for moderne kryptografi: beregningskompleksitetsperspektiv ) og i 1990 ble hun invitert som foredragsholder ved ICM i Kyoto ( Interaktive bevis og applikasjoner ).

Hun ble valgt til American Academy of Arts and Sciences i 2001, National Academy of Sciences i 2004 og National Academy of Engineering i 2005 . Hun har vært medlem av Israel Academy of Sciences siden 2015 og et eksternt medlem av Russian Academy of Sciences siden 2016 . I 2015 ble hun æresmedlem i London Mathematical Society . I 2012 mottok hun Turing-prisen . Hun ble tildelt UNESCO L'Oréal-prisen for 2021 .

weblenker

• Shafi Goldwasser hjemmeside på MIT (engelsk)
• Oppføring med Israel Academy of Sciences

Individuelle bevis

1. ↑ Shafrira Goldwasser i Mathematics Genealogy Project (engelsk)Mal: MathGenealogyProject / Maintenance / id used
2. Afi Shafi Goldwasser, Joe Kilian: Nesten alle primtall kan raskt sertifiseres. Proc. 18. STOC Berkeley 1986, s. 316-329; Primality testing ved hjelp av elliptiske kurver. Journal ACM 46 (1999), nr. 4, s. 450-472
3. ↑ Goldwasser-Kilian primality test ( minnesmerke over den opprinnelige av 21 juli 2007 i Internet Archive ) Omtale: The arkivet koblingen ble satt inn automatisk og har ennå ikke blitt sjekket. Vennligst sjekk originalen og arkivlenken i henhold til instruksjonene, og fjern deretter denne meldingen. (PDF; 132 kB) @1@ 2Mal: Webachiv / IABot / crypto.math.uni-bremen.de
4. ↑ Shafi Goldwasser, Silvio Micali, Charles Rackoff Kunnskapskompleksiteten til interaktive proof-systemer , SIAM Journal on Computing, Volume 18, 1989, s. 186-208 og STOC (ACM Symposium on the theory of computing) 1985 (fortrykk av arbeidet skal allerede i 1982)
5. ^ Medlemmerbok. Hentet 26. juli 2016 . 
6. ↑ Utenlandske medlemmer av det russiske vitenskapsakademiet: Гольдвассер, Шафрира. Det russiske vitenskapsakademiet, åpnet 27. mars 2021 (på russisk).