WikiDer > Schafi Goldwasser

Schafi Goldwasser

Shafrira (Shafi) Goldwasser (New York, 1958), ist ein israelisch-amerikanischInformatiker die sich hauptsächlich damit befasst Komplexitätstheorie und Kryptographie. Sie ist am besten bekannt als eine der Schöpferinnen von Zero-Knowledge-Beweise. 2012 kam sie zusammen mit Silvio Micalic ein Turing-Preis.

Lebenszyklus

Goldwasser wurde 1958 gegründet New York geboren. Ihre Eltern waren israelisch, weshalb sie sowohl die israelische als auch die amerikanische Staatsbürgerschaft besitzt. 1979 erwarb sie einen Bachelor-Abschluss in der Mathematik Auf Carnegie Mellon Universität, und erwarb dann einen Master-Abschluss Informatik Auf die Universität von Berkeley. Während ihres Informatikstudiums merkte sie, dass sie sich mehr für theoretische Themen interessierte. Sie begann als Beförderung Biene Manuel Blum. In dieser Zeit war ihre Zusammenarbeit mit Silvio Micalic. Nach ihrer Promotion 1984 begann sie an der MIT, wo sie jetzt Professor ist. Seit 1993 ist sie auch mit der Weizmann-Institut für Wissenschaften.

Goldwasser ist verheiratet mit Nir Shavite, Informatiker an der Universität Tel Aviv und MIT.

Arbeit

Goldwasser arbeitet an Komplexitätstheorie, Kryptographie und rechnerisch Zahlentheorie. Sie beschäftigt sich mit interaktiven Proof-Methoden und ist zusammen mit Silvio Micali die Schöpferin von Zero-Knowledge-Beweise, eine Möglichkeit, einen anderen von der Wahrheit einer Aussage zu überzeugen, ohne einige der Beweise preiszugeben. Diese Theorie ist wichtig für die Entwicklung kryptographischer Protokolle. Sie hat auch an der Klassifizierung von Problemen gearbeitet; zum Beispiel half sie dabei, Probleme zu identifizieren, die sogar NP-hart wenn nur eine Annäherung an das optimale Ergebnis erforderlich ist.

Preise

Goldwasser gewann mit ihren Co-Autoren zweimal a Gödel-Preis, einmal 1993 für die Entwicklung interaktiver Beweissysteme und einmal 2001 für Arbeiten in der Komplexitätstheorie. 2012 gewann Goldwasser mit Silvio Micali den Cali Turing-Preis.