Matemática e informática, ha sentado las bases teóricas de la ciencia de la criptografía, así como nuevos métodos para el control eficaz de las pruebas matemáticas en la teoría de la complejidad computacional. Ha investigado en áreas de complejidad computacional, criptografía y teoría de números. Sus trabajos en teoria de la complejidad incluyen la clasificación de los problemas de aproximación, demostrando que algunos problemas en la clase NP siguen siendo difíciles, incluso cuando sólo se necesita una solución aproximada. Galardonada con el Premio Turing en 2012.
Shafi Goldwasser
