Dr. Shafi Goldwasser stands as a preeminent leader in theoretical computer science whose work has fundamentally reshaped the landscape of modern cryptography. She currently serves as the C. Lester Hogan Professor in Electrical Engineering and Computer Sciences at UC Berkeley, the RSA Professor of Electrical Engineering and Computer Science at MIT, and a professor of computer science and applied mathematics at the Weizmann Institute of Science in Israel. After receiving her BS in Mathematics from Carnegie Mellon University in 1979, she earned her PhD in Computer Science from UC Berkeley in 1984, where she began her groundbreaking research that would transform cryptographic theory. Born in 1959 in New York City to Israeli parents, Dr. Goldwasser has maintained deep connections to both American and Israeli academic institutions throughout her distinguished career.
Dr. Goldwasser's most transformative contribution came in 1985 when she along with Silvio Micali and Charles Rackoff introduced the concept of zero knowledge interactive proofs which allows one party to verify a statement's truth without revealing any additional information. This seminal work turned cryptography from what was once considered a dark art into a rigorous scientific discipline with mathematical foundations enabling secure communication protocols that underpin modern internet security cryptocurrency transactions and private data verification. Her theoretical framework established the complexity theoretic foundations for cryptographic security introducing concepts like probabilistically checkable proofs and demonstrating the connection between these proofs and the intractability of approximation problems. The practical impact of her innovations extends from everyday online transactions to the most advanced secure computation protocols used in government and industry worldwide.
As the recipient of the prestigious A.M. Turing Award in 2012 Dr. Goldwasser became the third woman in history to receive computer science's highest honor recognizing her transformative contributions to cryptography and computational complexity. She has twice won the Gödel Prize in theoretical computer science for her pioneering work on interactive proofs and their connections to approximation problems and has received numerous other accolades including the ACM Grace Murray Hopper Award the RSA Award for Excellence in Mathematics in 1998 and the IEEE Emanuel R. Piore Award. Dr. Goldwasser's membership in the National Academy of Sciences National Academy of Engineering and American Academy of Arts and Sciences reflects her profound influence across multiple scientific disciplines. Her research continues to inspire new generations of computer scientists who build upon her foundational work to address emerging challenges in security and privacy in the digital age.