Shafrira Goldwasser

Ingresó al MIT en 1983, y en 1997 se convirtió en la primera RSA del profesorado.Su trabajo en complejidad incluye la clasificación de problemas de aproximación, demostrando que algunos problemas en la clase NP permanecen difíciles incluso cuando solo una solución aproximada es requerida.Goldwasser ha ganado dos veces el Premio Gödel: en 1993, por el artículo The knowledge complexity of interactive proof systems, y en 2001, por el artículo Interactive Proofs and the Hardness of Approximating Cliques.También ganó el Premio Grace Murray Hopper en 1996, y el RSA Award in Mathematics en 1998.Goldwasser recibió en 2008-2009 el Premio Athena Lecturer por el comité de la Association for Computing Machinery, otorgado a mujeres destacadas en las ciencias de la computación.