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