Shafi Goldwasser

Page d’aide sur l’homonymie

Pour les articles homonymes, voir Goldwasser (homonymie).

Shafrira Goldwasser
Biographie
Naissance
Nationalités
Domicile
Formation
Activités
Conjoint
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Site web
Distinctions
Archives conservées par
Bibliothèques de l'Institut de technologie du Massachusetts (en)[1]Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

Shafi Goldwasser (hébreu : שפרירה גולדווסר, Shafrira Goldwasser) est une informaticienne américano-israélienne, née le [2] à New York. Elle est professeure au MIT[3] et à l'Institut Weizmann[4]. Elle a reçu le prix Grace Murray Hopper en 1996, le prix Gödel en 1993 et en 2001[5] et le prix Turing en 2012[6], pour ses travaux autour des preuves interactives en théorie de la complexité.

Biographie

Shafi Goldwasser obtient son B.S. à l'université Carnegie-Mellon, puis son M.S. et son Ph.D. à l'université de Californie à Berkeley (Ph.D. en 1983 sous la direction de Manuel Blum).

Elle enseigne depuis 1983 au MIT, où elle est professeur d'Électronique et Informatique, et où elle a, entre autres, dirigé les thèses de Johan Håstad et Salil Vadhan[7]. Elle est également professeure de Mathématiques depuis 1993 à l'Institut Weizmann.

Travaux

Ses travaux principaux portent sur la théorie de la complexité, la cryptographie et la théorie algorithmique des nombres. Elle a notamment été pionnière dans le domaine des preuves interactives et des preuves à divulgation nulle de connaissance (ZKIP en anglais pour Zero Knowledge Interactive proof).
Elle s'interesse aussi au test de propriété et à l'apprentissage PAC[8].

Elle a reçu le prix Gödel en 1993 pour l'article On the complexity of interactive proof systems[9] et en 2001 pour Interactive proofs and the hardness of approximating cliques[10].

Elle a travaillé avec Silvio Micali, et tous deux obtiennent conjointement le prix Turing en 2012[11].

Hommages et distinctions

Notes et références

  1. ↑ « https://archivesspace.mit.edu/repositories/2/resources/869 »
  2. ↑ (en) « Goldwasser, S. (Shafi), 1958- » sur authorities.loc.gov/ (Library of Congress Authorities).
  3. ↑ (en) Page personnelle au MIT.
  4. ↑ (en) profil sur le site du Weizmann Institute.
  5. ↑ (en) Page officielle du prix Gödel.
  6. ↑ (en) Page officielle concernant Shafi Goldwasser sur le site du Prix Turing.
  7. ↑ (en) « Shafi Goldwasser », sur le site du Mathematics Genealogy Project
  8. ↑ (en) Voir l'article Oded Goldreich, Shafi Goldwasser et Dana Ron, « Property Testing and its Connection to Learning and Approximation », Journal of the ACM, vol. 45,‎ , p. 339-348 (lire en ligne).
  9. ↑ S. Goldwasser, S. Micali et C. Rackoff, « The Knowledge Complexity of Interactive Proof-Systems », SIAM Journal on Computing, vol. 18, no 1,‎ , p. 186–208 (DOI 10.1137/0218012, lire en ligne).
  10. ↑ Uriel Feige, Shafi Goldwasser, Laszlo Lovász, Shmuel Safra et Mario Szegedy, « Interactive Proofs and the Hardness of Approximating Cliques », Journal of the ACM, vol. 43, no 2,‎ , p. 268–292 (DOI 10.1145/226643.226652, lire en ligne).
  11. ↑ (en) « Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography — Association for Computing Machinery » [archive du ], sur www.acm.org (consulté le )

Voir aussi

Articles connexes

Liens externes

v · m
Lauréats du prix Gödel
v · m
Lauréats du prix Turing