Shafi Goldwasser

americká počítačová vědkyně
(přesměrováno z Shafrira Goldwasser)

Shafrira „Shafi“ Goldwasser (* 14. listopadu 1958 New York) je americko-izraelská počítačová vědkyně a laureátka Turingovy ceny za rok 2012. Vyučuje elektroinženýrství a počítačovou vědu na Massachusettském technologickém institutu[1] a matematické vědy na Weizmannově institutu věd.

Shafrira Goldwasser
Narození14. listopadu 1958 (66 let)
New York
Alma materUniverzita Carnegieho–Mellonových
Kalifornská univerzita v Berkeley
PracovištěMassachusettský technologický institut
Weizmannův institut věd
Oborpočítačová věda
OceněníGödelova cena (1993)
Cena Grace Murray Hopperové (1996)
Gödelova cena (2001)
IACR Fellow (2007)
Athena Lecturer (2008)
… více na Wikidatech
Manžel(ka)Nir Shavit
Webpeople.csail.mit.edu/shafi
Některá data mohou pocházet z datové položky.

Vědecká kariéra

editovat

Goldwasser se zabývá výzkumem v oblastech teorie složitosti, kryptografie a počítačové teorie čísel. Je spoluvynálezkyní pravděpodobnostního šifrování,[2] které dosáhlo zlatého standardu šifrování dat. Je také spoluvynálezkyní zero-knowledge protocolu, který pravděpodobnostně a interaktivně demonstruje platnost tvrzení bez dalších znalostí a je klíčovým nástrojem pro návrh kryptografických protokolů. Její práce v oblasti teorie složitosti se týká aproximačních problémů. Dokázala, že některé problémy z NP zůstávají obtížné i v případech, kdy postačuje pouze aproximace řešení.[3] Je autorkou průkopnických metod pro delegování práce na nedůvěryhodné servery.[4] Její práce v oblasti teorie čísel se zabývala důkazy prvočíselnosti pomocí eliptických křivek.[5]

Reference

editovat

V tomto článku byl použit překlad textu z článku Shafi Goldwasser na anglické Wikipedii.

  1. Shafi Goldwasser [online]. Massachusettský technologický institut, rev. 2018-07-11 [cit. 2020-02-15]. Dostupné online. (anglicky) 
  2. GOLDWASSER, Shafi; MICALI, Silvio. Probabilistic encryption. S. 270–299. Journal of Computer and System Sciences [online]. 1984-04 [cit. 2020-02-15]. Roč. 28, čís. 2, s. 270–299. DOI 10.1016/0022-0000(84)90070-9. (anglicky) 
  3. FEIGE, Uriel; GOLDWASSER, Shafi; LOVÁSZ, Laszlo; SAFRA, Shmuel; SZEGEDY, Mario. Interactive proofs and the hardness of approximating cliques. S. 268–292. Journal of the ACM [online]. 1996-03-01 [cit. 2020-02-15]. Roč. 43, čís. 2, s. 268–292. DOI 10.1145/226643.226652. (anglicky) 
  4. GOLDWASSER, Shaffi; KALAI, Yael Tauman; ROTHBLUM, Guy. Delegating Computation: Interactive Proofs for Muggles. [s.l.]: [s.n.], 2008-05. DOI 10.1145/1374376.1374396. (anglicky) 
  5. GOLDWASSER, Shafi; KILIAN, Joe. Primality testing using elliptic curves. S. 450–472. Journal of the ACM [online]. 1999-07-01 [cit. 2020-02-15]. Roč. 46, čís. 4, s. 450–472. DOI 10.1145/320211.320213. (anglicky) 

Externí odkazy

editovat