シャフィ・ゴールドワッサー
ゲーデル賞 1回目(1993年) - 「対話型証明システムにおける知識複雑性」に対して 2回目(2001年) - 「対話型証明と Cliques 近似の困難性」に対して
ACM グレース・ホッパー賞(1996年)
RSA Award in Mathematics(1998年)
2008-2009 Athena Lecturer Award of the Association for Computing Machinery's Committee on Women in Computing
ベンジャミン・フランクリン・メダル(2010年)
IEEE Emanuel R. Piore Award(2011年)
チューリング賞(2012年)
ロレアル-ユネスコ女性科学賞(2021年)