シャフィ・ゴールドワッサー
ゴールドワッサーの研究領域は計算複雑性理論、暗号理論、計算数論などである。彼女はゼロ知識証明の発明者の1人である。これは、追加の知識なしで表明の正当性を蓋然的かつ対話的に証明する手法であり、暗号設計の重要な手段の一つとなっている。計算複雑性理論では近似問題の分類に関してNPの近似解だけが必要な場合でも解を得るのが困難な問題があることを示した。