Goldwasser Shafi

ELEMENTS DE BIOGRAPHIE
INFORMATIQUE

Shafi (diminutif de Shafrira) Goldwasser est une informaticienne américano-israélienne, née en 1958 à New York.

Elle a suivi son premier cycle universitaire à l’université Carnegie-Mellon, puis a obtenu son doctorat à l’université de Californie à Berkeley en 1983 sous la direction de Manuel Blum (informaticien américain né à Caracas en 1938, titulaire du prix Turing 1995).
Elle est professeure d’Électronique et Informatique au MIT (Massachusetts Institute of Technology) depuis 1983, elle est également professeur de mathématiques à l’Institut Weizmann (en Israël, près de Tel Aviv) depuis 1993.

Ses travaux principaux portent sur la théorie de la complexité, la cryptographie et la théorie algorithmique des nombres.
Ses travaux sont particulièrement novateurs dans le domaine des preuves interactives et des preuves à divulgation nulle de connaissance, en anglais Zero Knowledge Interactive proof (abrégé en ZKIP).
Son nom est rappelé par le cryptosystème de Goldwasser-Micali et le cryptosystème de Blum-Goldwasser.

Parmi les distinctions, elle a reçu deux fois le prix Gödel : en 1993 pour l’article On the complexity of interactive proof systems et en 2001 pour Interactive proofs and the hardness of approximating cliques.
En 2012, elle a obtenu le prix Turing, conjointement avec Silvio Micali (informaticien né en 1954 à Palerme, professeur au MIT).