Shafi Goldwasser

Shafrira Goldwasser Bilde i infoboks. Biografi
Fødsel 14. november 1958
New York
Nasjonaliteter Israelsk
amerikaner
Hjem Israel
Opplæring Carnegie-Mellon
University University of California i Berkeley
Aktiviteter Universitetsprofessor , kryptograf , matematiker , informatiker , ingeniør
Annen informasjon
Jobbet for Massachusetts Institute of Technology , Weizmann Institute
Felt Informatikk
Medlem av Israeli Academy of Sciences and Letters
United States National Academy of Engineering
American Academy of Arts and Sciences
American Academy of Sciences (2004)
Veileder Manuel Blum
Nettsted people.csail.mit.edu/shafi
Utmerkelser Turing-prisen (2012)
Arkiv holdt av MIT-biblioteker ( in )

Shafi Goldwasser ( hebraisk  : שפרירה גולדווסר, Shafrira Goldwasser ) er en amerikansk - israelsk datavitenskapsmann , født den14. november 1958i New York . Hun er professor ved MIT og Weizmann Institute . Hun mottok Grace Murray Hopper-prisen i 1996, Gödel-prisen i 1993 og 2001 og Turing-prisen i 2012 for sitt arbeid rundt interaktive bevis i kompleksitetsteori .

Biografi

Shafi Goldwasser oppnådde sin BS fra Carnegie-Mellon University , deretter sin MS og Ph.D. fra University of California i Berkeley ( Ph.D. i 1983 under veiledning av Manuel Blum ).

Hun har undervist siden 1983 ved MIT , hvor hun er professor i elektronikk og datavitenskap , og hvor hun blant annet har veiledet avhandlingene til Johan Håstad og Salil Vadhan . Hun har også vært professor i matematikk siden 1993 ved Weizmann-instituttet .

Virker

Hans hovedverk fokuserer på kompleksitetsteori , kryptografi og algoritmisk tallteori . Spesielt var banebrytende innen interaktive bevis og bevis ingen avsløring av kunnskap (på engelsk ZKIP Zero Knowledge Interactive Proof ).
Hun er også interessert i eiendomstesting og CAP-læring .

Hun mottok Gödel-prisen i 1993 for artikkelen On the complexity of interactive proof systems and in 2001 for Interactive proofs and the hardness of approximating cliques .

Hun jobbet med Silvio Micali , og begge ble tildelt Turing-prisen i 2012.

Hyllest og skill

Merknader og referanser

  1. (i) "Goldwasser, S. (Shafi), 1958-" på autoriteter.loc.gov/ ( Library of Congress Authorities ).
  2. (in) Personal Page på MIT .
  3. (in) profil på Weizmann Institute-nettstedet .
  4. (in) offisiell side Gödel-pris .
  5. (in) Offisiell side om Shafi Goldwasser på nettstedet Turing Prize .
  6. (in) "  Shafi Goldwasser  " , på nettstedet Mathematics Genealogy Project
  7. (in) Se artikkel Oded Goldreich , Shafi Goldwasser og Dana Ron , "  Property Testing and Its Connection to Learning and approximation  ", Journal of the ACM , vol.  45,1998, s.  339-348 ( les online ).
  8. S. Goldwasser , S. Micali og C. Rackoff , “  Kunnskaps Kompleksiteten av Inter Proof-Systems  ”, SIAM Journal på Computing , vol.  18, n o  1,1989, s.  186–208 ( DOI  10.1137 / 0218012 , les online ).
  9. Uriel Feige , Shafi Goldwasser , Laszlo Lovász , Shmuel Safra og Mario Szegedy , “  Interactive Proofs and the Hardness of Approximating Cliques  ”, Journal of the ACM , vol.  43, n o  to1996, s.  268–292 ( DOI  10.1145 / 226643.226652 , les online ).
  10. (in) "  Goldwasser, Micali mottar ACM Turing Award for Advances in Cryptography - Association for Computing Machinery  ' [ arkiv16. mars 2013] , på www.acm.org (åpnet 11. juli 2017 )

Se også

Relaterte artikler

Eksterne linker