Shafrira "Shafi" Goldwasser (Hebrew: שפרירה גולדווסר‎) is an American-Israeli computer scientist and winner of the Turing Award in 2012. She is the RSA Professor of Electrical Engineering and Computer Science at MIT, a professor of mathematical sciences at the Weizmann Institute of Science, Israel, co-founder and chief scientist of Duality Technologies and the director of the Simons Institute for the Theory of Computing in Berkeley, CA.

Contents Biography Born in 1958 in New York City, Goldwasser obtained her B.S. (1979) in mathematics and science from Carnegie Mellon University, and M.S. (1981) and PhD (1984) in computer science from the University of California, Berkeley under the supervision of Manuel Blum, who is well known for advising some of the most prominent researchers in the field. She joined MIT in 1983, and in 1997 became the first holder of the RSA Professorship. She became a professor at the Weizmann Institute of Science, concurrent to her professorship at MIT, in 1993. She is a member of the Theory of Computation group at MIT Computer Science and Artificial Intelligence Laboratory. Goldwasser was a co-recipient of the 2012 Turing Award. On January 1, 2018, Goldwasser became the director of the Simons Institute for the Theory of Computing at the University of California, Berkeley.

Since November 2016, Goldwasser is Chief Scientist and Co-Founder of Duality Technologies, an Israeli-American start-up which offers secure data analytics using advanced cryptographic techniques.[5] She is also a scientific advisor for several technology start ups in the security area, including QED-it, specializing in the Zero Knowledge Blockchain, and Algorand, a Proof-of-stake Blockchain.

Scientific career Goldwasser's research areas include computational complexity theory, cryptography and computational number theory. She is the co-inventor of probabilistic encryption, which set up and achieved the gold standard for security for data encryption. She is the co-inventor of zero-knowledge proofs, which probabilistically and interactively demonstrate the validity of an assertion without conveying any additional knowledge, and are a key tool in the design of cryptographic protocols. Her work in complexity theory includes the classification of approximation problems, showing that some problems in NP remain hard even when only an approximate solution is needed, and pioneering methods for delegating computations to untrusted servers.Her work in number theory includes the invention with Joe Kilian of primality proving using elliptic curves.

Awards Goldwasser was awarded the 2012 Turing Award along with Silvio Micali for their work in the field of cryptography. Goldwasser has twice won the Gödel Prize in theoretical computer science: first in 1993 (for "The knowledge complexity of interactive proof systems"), and again in 2001 (for "Interactive Proofs and the Hardness of Approximating Cliques"). Other awards include the ACM Grace Murray Hopper Award (1996) for outstanding young computer professional of the year and the RSA Award for Excellence in Mathematics (1998) for outstanding mathematical contributions to cryptography. In 2001 she was elected to the American Academy of Arts and Sciences and in 2002 she gave a plenary lecture at the International Congress of Mathematicians in Beijing. In 2004 she was elected to the National Academy of Science, and in 2005 to the National Academy of Engineering. She was selected as an IACR Fellow in 2007. Goldwasser received the 2008-2009 Athena Lecturer Award of the Association for Computing Machinery's Committee on Women in Computing. She is the recipient of The Franklin Institute's 2010 Benjamin Franklin Medal in Computer and Cognitive Science. She received the IEEE Emanuel R. Piore Award in 2011. She received the 2018 Frontier of Knowledge award together with Micali, Rivest and Shamir. She was elected as an ACM Fellow in 2017. In July 2017, she was a plenary lecturer in the Mathematical Congress of the Americas. In 2018, she was awarded an honorary degree by her alma mater, Carnegie Mellon University. On 26 June 2019 Goldwasser was awarded an Honorary Doctorate of Science by the University of Oxford.

Goldwasser is featured in the Notable Women in Computing cards.

שפרירה (שפי) גולדווסר

(נולדה ב-1958) היא חוקרת ישראלית-אמריקאית בתחום מדעי המחשב והקריפטוגרפיה. גולדווסר היא פרופסור להנדסת חשמל במכון הטכנולוגי של מסצ'וסטס ופרופסור למתמטיקה במכון ויצמן למדע ברחובות. זכתה פעמיים בפרס גדל במדעי המחשב. כלת פרס טיורינג לשנת 2012 (יחד עם סילביו מיקאלי). בשנת 2017 נבחרה לעמית

Association for Computing Machinery (ACM)

קורות חיים

גולדווסר נולדה בניו יורק. אביה היה שליח קופת חולים כללית לארצות הברית, והמשפחה חזרה לישראל כשהייתה בת 6. היא גדלה בתל אביב ולמדה בתיכון עירוני ד'. בשנת 1979 השלימה תואר ראשון באוניברסיטת קרנגי מלון במתמטיקה שימושית, ובשנים 1981 ו-1983 הוענקו לה תואר שני ותואר שלישי באוניברסיטת קליפורניה בברקלי. הדוקטורט שלה במדעי המחשב, נעשה בהנחייתו של מנואל בלום. בשנת 1983 הצטרפה למכון הטכנולוגי של מסצ'וסטס, ובשנת 1997 הייתה הראשונה שאיישה בו את הקתדרה על שם חברת אר.אס.איי. שבה היא מחזיקה עד היום. גולדווסר היא חברת המעבדה למדעי המחשב ולבינה מלאכותית במכון. בשנת 1993 הצטרפה לסגל של מכון ויצמן למדע, במקביל לעבודתה במכון הטכנולוגי של מסצ'וסטס.

עם תחומי המחקר של גולדווסר נמנים תורת הסיבוכיות, קריפטוגרפיה ותורת המספרים החישובית. גולדווסר הייתה שותפה להמצאתן של הוכחות באפס ידיעה, מרכיב חשוב בבנייתם של פרוטוקולים קריפטוגרפיים, באמצעותם יכול צד אחד להדגים לצד השני בוודאות גדולה כרצונו שהוא יודע סוד מסוים, מבלי לחשוף כל מידע על הסוד עצמו. בתחום תורת הסיבוכיות עסקה עבודתה בין השאר במיון של מחלקות סיבוכיות. גולדווסר הדגימה כי בעיות NP-שלמות מסוימות נותרות כאלה גם כאשר מחפשים רק פתרון מקורב להן.

פרסים והוקרה

• בשנת 1991 קיבלה את פרס החוקר הצעיר מטעם הקרן הלאומית למדע של ארצות הברית.
• על הישגיה פורצי הדרך במדעי המחשב הוענק לה פעמיים פרס גדל במדעי המחשב התאורטיים (בשנת 1993 ובשנת 2001)
• בשנת 1996 הוענק לה פרס גרייס מארי הופר לאיש המחשוב הצעיר הבולט של השנה.
• בשנת 1998 הוענק לה פרס אר.אס.איי. במתמטיקה על תרומותיה הייחודיות לקריפטוגרפיה.
• בשנת 2001 התקבלה לאקדמיה האמריקאית לאמנויות ולמדעים, בשנת 2004 נבחרה לאקדמיה הלאומית למדעים של ארצות הברית ובשנת 2005 לאקדמיה האמריקאית להנדסה.
• בשנת 2011 זכתה בפרס עמנואל פיור.
• זכתה במדליית בנג'מין פרנקלין במדעי המחשב ובמדעים הקוגניטיביים.
• זוכת פרס טיורינג לשנת 2012 ביחד עם סילביו מיקלי מהמכון הטכנולוגי של מסצ'וסטס על "עבודה מהפכנית שהניחה את היסודות התאורטיים לתורת ההצפנה בתחום הסיבוכיות, תוך המצאת שיטות חדשות וחלוציות לאימות יעיל של הוכחות מתמטיות בתחום תורת הסיבוכיות".
• משנת 2015 חברת האקדמיה הלאומית הישראלית למדעים.
• בשנת 2016, קיבלה תואר דוקטור לשם כבוד מטעם אוניברסיטת חיפה.
• ב-2017 קיבלה תואר דוקטור לשם כבוד מאוניברסיטת בר-אילן.
• על שמה קרויות תגליותיה הצפנת בלום-גולדווסר והצפנת גולדווסר-מיקאלי.

משפחתה: גולדווסר נשואה לניר שביט, פרופסור למדעי המחשב באוניברסיטת תל אביב. לזוג שני ילדים.