| Jewiki unterstützen. Jewiki, die größte Online-Enzyklopädie zum Judentum.
Helfen Sie Jewiki mit einer kleinen oder auch größeren Spende. Einmalig oder regelmäßig, damit die Zukunft von Jewiki gesichert bleibt ... Vielen Dank für Ihr Engagement! (→ Spendenkonten) |
How to read Jewiki in your desired language · Comment lire Jewiki dans votre langue préférée · Cómo leer Jewiki en su idioma preferido · בשפה הרצויה Jewiki כיצד לקרוא · Как читать Jewiki на предпочитаемом вами языке · كيف تقرأ Jewiki باللغة التي تريدها · Como ler o Jewiki na sua língua preferida |
Shafrira Goldwasser
Shafrira „Shafi“ Goldwasser (hebräisch שפרירה גולדווסר; * 1958 in New York City) ist eine US-amerikanische Informatikerin.
Leben
1979 erlangte sie den Bachelor-Grad in Mathematik an der Carnegie Mellon University, 1981 den Magister- und 1984 den Doktorgrad in Informatik an der UC Berkeley.[1] 1983 kam sie zum MIT und wurde 1997 die erste Inhaberin der neuen RSA-Professur für Elektrotechnik und Informatik. Sie ist ein Mitglied der Theory of Computation Group am MIT Computer Science and Artificial Intelligence Laboratory. Außerdem ist sie Professorin für Informatik und angewandte Mathematik am Weizmann-Institut für Wissenschaften in Israel.
Wirken
Goldwasser forscht über Komplexitätstheorie, Kryptographie und Algorithmische Zahlentheorie. Sie entwickelte 1986 gemeinsam mit Joe Kilian den nach beiden Autoren benannten, auf Elliptischen Kurven basierenden Primzahlnachweis.[2][3] Sie ist (um 1982)[4] die Miterfinderin der Zero-Knowledge-Beweise (sowie Interaktiver Beweissysteme in derselben Arbeit mit Charles Rackoff und Silvio Micali), die wahrscheinlichkeitstheoretisch und interaktiv die Gültigkeit einer Behauptung ohne Übermittlung zusätzlichen Wissens zeigen und ein Schlüsselwerkzeug beim Entwurf kryptographischer Protokolle sind. Zu ihren weiteren Beiträgen im Bereich der Kryptographie zählen die Mitentwicklung des Blum-Goldwasser-Kryptosystems und des GMR-Signaturverfahrens. Ihre Arbeiten in Komplexitätstheorie behandeln die Klassifizierung von Näherungsproblemen, wo sie zeigte, dass einige NP-schwere Probleme auch dann schwierig bleiben, wenn nur eine Näherungslösung gesucht wird.
Auszeichnungen
Für ihre bahnbrechenden Ergebnisse wurde Goldwasser zweimal der Gödel-Preis in Theoretischer Informatik verliehen: Zuerst 1993 (für „The knowledge complexity of interactive proof systems“), und nochmals 2001 (für „Interactive Proofs and the Hardness of Approximating Cliques“), ihre Beteiligung am PCP-Theorem. Weitere Auszeichnungen sind der Grace Murray Hopper Award der ACM als herausragende Nachwuchs-Computerexpertin des Jahres 1996 sowie der RSA Award in Mathematics (1998) für herausragende mathematische Beiträge zur Kryptographie und der BBVA Foundation Frontiers of Knowledge Award (2017). 2002 hielt sie einen Plenarvortrag auf dem Internationalen Mathematikerkongress in Peking (Mathematical foundations of modern cryptography: computational complexity perspective) und 1990 war sie Invited Speaker auf dem ICM in Kyōto (Interactive proofs and applications).
2001 wurde sie in die American Academy of Arts and Sciences gewählt[5], 2004 in die National Academy of Sciences und 2005 in die National Academy of Engineering. Seit 2015 ist sie Mitglied der Israelischen Akademie der Wissenschaften und seit 2016 auswärtiges Mitglied der Russischen Akademie der Wissenschaften.[6] 2015 wurde sie Ehrenmitglied der London Mathematical Society. 2012 erhielt sie den Turing Award. Für 2021 wurde ihr der UNESCO-L’Oréal-Preis zugesprochen.
Schriften
- mit Mihir Bellare: Lecture Notes on Cryptography, MIT (Vorlesungen, zuerst ab 1996), Online, 2008 (PDF; 1,5 MB)
- mit Daniele Micciancio: Complexity of Lattice Problems: A Cryptographic Perspective, The Springer International Series in Engineering and Computer Science 671, Springer 2002
Literatur
- Oded Goldreich (Hrsg.): Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, Morgan & Claypool 2019
Weblinks
Commons: Shafi Goldwasser – Sammlung von Bildern, Videos und Audiodateien- Shafi Goldwassers Homepage am MIT (englisch)
- Eintrag bei der Israelischen Akademie der Wissenschaften
Einzelnachweise
- ↑ Shafrira Goldwasser im Mathematics Genealogy Project (englisch)
- ↑ Shafi Goldwasser, Joe Kilian: Almost all primes can be quickly certified. Proc. 18th STOC Berkeley 1986, S. 316–329; Primality testing using elliptic curves. Journal ACM 46 (1999), Nr. 4, S. 450–472
- ↑ Goldwasser-Kilian-Primzahltest (Memento vom 21. Juli 2007 im Internet Archive) (PDF; 132 kB)
- ↑ Shafi Goldwasser, Silvio Micali, Charles Rackoff The knowledge complexity of interactive proof systems, SIAM Journal on Computing, Band 18, 1989, S. 186–208 und STOC (ACM Symposium on the theory of computing) 1985 (Preprints der Arbeit sollen schon 1982 zirkuliert haben)
- ↑ Book of Members. Abgerufen am 26. Juli 2016 (english).
- ↑ Ausländische Mitglieder der Russischen Akademie der Wissenschaften: Гольдвассер, Шафрира. Russische Akademie der Wissenschaften, abgerufen am 27. März 2021 (русский).
1966: Perlis | 1967: Wilkes | 1968: Hamming | 1969: Minsky | 1970: Wilkinson | 1971: McCarthy | 1972: Dijkstra | 1973: Bachman | 1974: Knuth | 1975: Newell, Simon | 1976: Rabin, Scott | 1977: Backus | 1978: Floyd | 1979: Iverson | 1980: Hoare | 1981: Codd | 1982: Cook | 1983: Thompson, Ritchie | 1984: Wirth | 1985: Karp | 1986: Hopcroft, Tarjan | 1987: Cocke | 1988: Sutherland | 1989: Kahan | 1990: Corbató | 1991: Milner | 1992: Lampson | 1993: Hartmanis, Stearns | 1994: Feigenbaum, Reddy | 1995: Blum | 1996: Pnueli | 1997: Engelbart | 1998: Gray | 1999: Brooks | 2000: Yao | 2001: Dahl, Nygaard | 2002: Rivest, Shamir, Adleman | 2003: Kay | 2004: Cerf, Kahn | 2005: Naur | 2006: Allen | 2007: Clarke, Emerson, Sifakis | 2008: Liskov | 2009: Thacker | 2010: Valiant | 2011: Pearl | 2012: Micali, Goldwasser | 2013: Lamport
1971: Knuth | 1972: Dirksen, Cress | 1973: Breed, Lathwell, Moore | 1974: Baird | 1975: Scherr | 1976: Shortliffe | 1978: Kurzweil | 1979: Wozniak | 1980: Metcalfe | 1981: Bricklin | 1982: Reid 1984: Ingalls | 1985: Green | 1986: Joy | 1987: Ousterhout | 1988: Steele | 1989: Hillis | 1990: Stallman | 1991: Hsu | 1993: Stroustrup | 1996: Goldwasser | 1999: Hwu | 2000: Kavraki | 2001: Necula | 2002: Srikant | 2003: Keckler | 2004: Rexford | 2005: Reingold | 2006: Klein | 2007: Paxson | 2008: Engler | 2009: Roughgarden | 2010: Gentry | 2011: Ahn | 2012: Casado, Katabi | 2013: Felzenszwalb | 2014: Ratnasamy | 2015: Waters | 2016: Heer
| Personendaten | |
|---|---|
| NAME | Goldwasser, Shafrira |
| ALTERNATIVNAMEN | Goldwasser, Shafi |
| KURZBESCHREIBUNG | US-amerikanische Informatikerin |
| GEBURTSDATUM | 1958 |
| GEBURTSORT | New York City |
| Dieser Artikel basiert ursprünglich auf dem Artikel Shafrira Goldwasser aus der freien Enzyklopädie Wikipedia und steht unter der Doppellizenz GNU-Lizenz für freie Dokumentation und Creative Commons CC-BY-SA 3.0 Unported. In der Wikipedia ist eine Liste der ursprünglichen Wikipedia-Autoren verfügbar. |
- Informatiker
- Träger des Turing Award
- Mitglied der National Academy of Sciences
- Mitglied der American Academy of Arts and Sciences
- Kryptologe
- Hochschullehrer (Massachusetts Institute of Technology)
- Hochschullehrer (Rechovot)
- Mitglied der National Academy of Engineering
- Mitglied der Israelischen Akademie der Wissenschaften
- Mitglied der Russischen Akademie der Wissenschaften
- Ehrenmitglied der London Mathematical Society
- US-Amerikaner
- Geboren 1958
- Frau