Shafi Goldwasser

Shafi Goldwasser
Name	Shafi Goldwasser
Birth date	1958
Birth place	New York City, United States
Nationality	United States
Alma mater	Carnegie Mellon University, University of California, Berkeley
Occupation	Computer scientist, cryptographer
Awards	Turing Award, Gödel Prize, MacArthur Fellows Program

Shafi Goldwasser is an Israeli–American computer scientist and cryptographer known for foundational contributions to theoretical computer science and cryptography. She has shaped modern understanding of computational complexity, interactive proofs, and zero-knowledge protocols, influencing work at institutions such as Massachusetts Institute of Technology, University of California, Berkeley, and Weizmann Institute of Science. Her research has impacted cryptographic practice used in technology companies, standards bodies, and government laboratories.

Early life and education

Born in New York City and raised partly in Haifa and Israel, she completed undergraduate studies in mathematics and computer science at Carnegie Mellon University before earning a Ph.D. in computer science from University of California, Berkeley. At Berkeley she studied under advisors connected to the research lineage including Ronald Rivest, Silvio Micali, and peers at MIT and Harvard University. Her formative years included interactions with researchers from Bell Labs, IBM Research, and the Israel Defense Forces technical units, situating her within networks spanning Technion – Israel Institute of Technology and Hebrew University of Jerusalem laboratories.

Academic career and positions

Goldwasser held faculty positions at Massachusetts Institute of Technology and later at University of California, Berkeley and the Weizmann Institute of Science. She has been affiliated with research centers such as the International Computer Science Institute, Centro de Investigación en Matemáticas, and the Simons Institute for the Theory of Computing. She served on advisory boards for Microsoft Research, Google Research, and national bodies including panels at the National Science Foundation and collaborations with DARPA. Her appointments included visiting scholar roles at Princeton University, Stanford University, and guest lectures at Oxford University.

Research contributions and theories

Goldwasser co-developed the concept of zero-knowledge proofs and formalized notions of interactive proof systems and probabilistic encryption, collaborating with researchers from Massachusetts Institute of Technology and University of California, Berkeley. She co-invented theoretical constructs such as the Goldwasser–Micali cryptosystem and advanced definitions in computational complexity connected to the NP (complexity) class, the IP (complexity) class, and hardness assumptions related to one-way functions and pseudorandom generators. Her joint work with Silvio Micali and Charles Rackoff on knowledge complexity and with Oded Goldreich informed the development of secure multi-party computation used by entities like RSA Security and standards organizations like National Institute of Standards and Technology. She contributed to theoretical frameworks underlying modern homomorphic encryption, differential privacy debates intersecting with Cynthia Dwork’s work, and foundations adopted by industrial teams at Intel and IBM. Her publications shaped cryptanalysis approaches at GCHQ and National Security Agency research circles and informed algorithms studied at conferences including STOC, FOCS, and CRYPTO.

Awards and honors

Goldwasser's recognitions include the Turing Award, the Gödel Prize, the MacArthur Fellows Program "genius grant", the National Academy of Sciences membership, and fellowship of the Association for Computing Machinery and the American Academy of Arts and Sciences. She received honors from the Electrochemical Society, awards presented at ceremonies hosted by White House events, and prizes announced by institutions such as the Institute of Electrical and Electronics Engineers and the Israel Academy of Sciences and Humanities. She has been awarded honorary degrees by universities including Technion – Israel Institute of Technology and Weizmann Institute of Science recognition initiatives.

Selected publications and patents

Selected influential papers include joint works published in proceedings of STOC, FOCS, and CRYPTO, covering topics like interactive proofs, zero-knowledge, and probabilistic encryption. Key papers appeared in collections alongside authors such as Silvio Micali, Oded Goldreich, Michael Sipser, and Richard Karp. Her patents and filings influenced cryptographic implementations used by Microsoft, Google, and commercial cryptography vendors including RSA Security and Entrust. She contributed chapters to books published by Springer and proceedings from the Association for Computing Machinery.

Personal life and outreach activities

Goldwasser has engaged with outreach and policy through lectures at forums including the Royal Society, panels at the World Economic Forum, and testimony to legislative bodies in United States Congress committees on cybersecurity. She has mentored students who took positions at Google Research, Microsoft Research, Amazon, and academic posts at Harvard University and Columbia University. Her public engagement included collaborative programs with Girls Who Code, workshops at Simons Foundation events, and support for initiatives at the Weizmann Institute of Science and Carnegie Mellon University aimed at broadening participation in computer science.

Category:Computer scientists Category:Cryptographers Category:Turing Award laureates