Shafi Goldwasser

Shafrira Goldwasser Billede i infobox. Biografi
Fødsel 14. november 1958
New York
Nationaliteter Israelsk
amerikaner
Hjem Israel
Uddannelse Carnegie-Mellon
University University of California i Berkeley
Aktiviteter Universitetsprofessor , kryptograf , matematiker , datalog , ingeniør
Andre oplysninger
Arbejdede for Massachusetts Institute of Technology , Weizmann Institute
Mark Computer videnskab
Medlem af Israeli Academy of Sciences and Letters
United States National Academy of Engineering
American Academy of Arts and Sciences
American Academy of Sciences (2004)
Tilsynsførende Manuel Blum
Internet side people.csail.mit.edu/shafi
Priser Turing-prisen (2012)
Arkiver opbevaret af MIT-biblioteker ( in )

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

Biografi

Shafi Goldwasser fik sin BS fra Carnegie-Mellon University , derefter sin MS og Ph.D. fra University of California i Berkeley ( Ph.D. i 1983 under vejledning af Manuel Blum ).

Hun har undervist siden 1983 på MIT , hvor hun er professor i elektronik og datalogi , og hvor hun blandt andet har vejledt afhandlingerne om Johan Håstad og Salil Vadhan . Hun har også været professor i matematik siden 1993 ved Weizmann Institute .

Arbejder

Hans hovedværk fokuserer på kompleksitetsteori , kryptografi og algoritmisk talteori . Især banebrydende inden for interaktive beviser og beviser ingen afsløring af viden (på engelsk ZKIP Zero Knowledge Interactive Proof ).
Hun er også interesseret i ejendomstest og CAP-læring .

Hun modtog Gödel-prisen i 1993 for artiklen Om kompleksiteten af ​​interaktive proof-systemer og i 2001 for Interactive proofs og hårdheden ved tilnærmelse af klik .

Hun arbejdede sammen med Silvio Micali , og begge blev sammen tildelt Turing-prisen i 2012.

Hyldest og forskel

Noter og referencer

  1. (i) "Goldwasser, S. (Shafi), 1958-" på autoriteter.loc.gov/ ( Library of Congress Authorities ).
  2. (in) Personlig side på MIT .
  3. (i) profil på Weizmann Institute hjemmeside .
  4. (in) officiel side Gödel-pris .
  5. (in) Officiel side om Shafi Goldwasser på webstedet Turing Prize .
  6. (in) "  Shafi Goldwasser  " , på webstedet Mathematics Genealogy Project
  7. (in) Se artikel 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 ( læs online ).
  8. S. Goldwasser , S. Micali og C. Rackoff , ”  The Knowledge kompleksitet Interaktive Proof-Systems  ”, SIAM Journal on Computing , vol.  18, nr .  1,1989, s.  186–208 ( DOI  10.1137 / 0218012 , læs 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 , bind.  43, nr .  21996, s.  268–292 ( DOI  10.1145 / 226643.226652 , læs online ).
  10. (in) "  Goldwasser, Micali Modtager ACM Turing-pris for fremskridt inden for kryptografi - Association for Computing Machinery  ' [ arkiv16. marts 2013] , på www.acm.org (adgang 11. juli 2017 )

Se også

Relaterede artikler

eksterne links