Shafrira Goldwasser ( en hebreo : שפרירה גולדווסר ; nacida en 1959 [5] ) es una científica informática israelí-estadounidense y ganadora del Premio Turing en 2012. Es profesora RSA de Ingeniería Eléctrica y Ciencias de la Computación en el Instituto Tecnológico de Massachusetts ; [6] profesora de ciencias matemáticas en el Instituto Weizmann de Ciencias , Israel ; directora del Instituto Simons para la Teoría de la Computación en la Universidad de California, Berkeley ; y cofundadora y científica principal de Duality Technologies. [7] [8] [9] [10] [11]
Nacida en la ciudad de Nueva York , Goldwasser obtuvo su licenciatura en Ciencias en 1979 en matemáticas y ciencias de la Universidad Carnegie Mellon . Continuó sus estudios en informática en Berkeley , donde recibió una maestría en Ciencias en 1981 y un doctorado en 1984. Mientras estaba en Berkeley, ella y su asesor de doctorado, Manuel Blum , propondrían el criptosistema Blum-Goldwasser . [3]
Goldwasser se unió al MIT en 1983 y en 1997 se convirtió en la primera titular de la Cátedra RSA. Se convirtió en profesora del Instituto Weizmann de Ciencias , al mismo tiempo que su cátedra en el MIT, en 1993. Es miembro del grupo de teoría de la computación en el Laboratorio de Ciencias de la Computación e Inteligencia Artificial del MIT . [12] En 2005, Goldwasser fue elegida miembro de la Academia Nacional de Ingeniería por sus contribuciones a la criptografía, la teoría de números y la teoría de la complejidad, y sus aplicaciones a la privacidad y la seguridad, [13] y en 2006, Berkeley le otorgó su Premio de Alumnos Distinguidos de Ciencias de la Computación.
Goldwasser fue co-ganador del Premio Turing 2012 por "revolucionar la ciencia de la criptografía". [14]
Desde noviembre de 2016, Goldwasser se desempeña como científica principal y cofundadora de Duality Technologies, una empresa emergente con sede en EE. UU. que ofrece análisis de datos seguros utilizando técnicas criptográficas avanzadas. [15] También es asesora científica de varias empresas emergentes de tecnología en el área de seguridad, incluidas QED-it, especializada en la cadena de bloques de conocimiento cero, y Algorand , una cadena de bloques de prueba de participación pura . [16]
El 1 de enero de 2018, se convirtió en directora del Instituto Simons de Teoría de la Computación de Berkeley . [17]
Las áreas de investigación de Goldwasser incluyen la teoría de la complejidad computacional , la criptografía y la teoría computacional de números . Es coinventora del cifrado probabilístico [18] , que estableció y logró el estándar de oro para la seguridad del cifrado de datos.
Goldwasser es coinventora de las pruebas de conocimiento cero , que demuestran de forma probabilística e interactiva la validez de una afirmación sin transmitir ningún conocimiento adicional, y son una herramienta clave en el diseño de protocolos criptográficos . Su trabajo en teoría de la complejidad incluye la clasificación de problemas de aproximación, mostrando que algunos problemas en NP siguen siendo difíciles incluso cuando solo se necesita una solución aproximada, [19] y métodos pioneros para delegar cálculos a servidores no confiables. [20] Su trabajo en teoría de números incluye la invención con Joe Kilian de la prueba de primalidad utilizando curvas elípticas. [21] Goldwasser también es líder del Proyecto CETI , una iniciativa interdisciplinaria para traducir la comunicación de los cachalotes. [22]
Goldwasser fue galardonado con el Premio Turing 2012 junto con Silvio Micali por su trabajo en el campo de la criptografía. [23]
Goldwasser ha ganado dos veces el Premio Gödel en informática teórica : primero en 1993 (por "La complejidad del conocimiento de los sistemas de prueba interactivos" ), [24] y nuevamente en 2001 (por Pruebas interactivas y la dificultad de las camarillas de aproximación ). [25] Otros premios incluyen el Premio Grace Murray Hopper de la ACM (1996) para el joven profesional informático destacado del año y el Premio RSA a la Excelencia en Matemáticas (1998) por contribuciones matemáticas destacadas a la criptografía. En 2001 fue elegida miembro de la Academia Estadounidense de las Artes y las Ciencias y en 2002 dio una conferencia plenaria en el Congreso Internacional de Matemáticos en Pekín. [26] En 2004 fue elegida miembro de la Academia Nacional de Ciencias y en 2005 de la Academia Nacional de Ingeniería . Fue seleccionada como miembro de la IACR en 2007. Goldwasser recibió el premio Athena Lecturer Award 2008-2009 del Comité de Mujeres en Computación de la Association for Computing Machinery. [27] Recibió la Medalla Benjamin Franklin 2010 en Computación y Ciencias Cognitivas del Instituto Franklin . [28] Recibió el premio IEEE Emanuel R. Piore en 2011. [29] Recibió el premio Frontier of Knowledge 2018 junto con Micali, Rivest y Shamir. [30]
Goldwasser fue elegida miembro del ACM en 2017. [31] En julio de 2017, fue profesora plenaria en el Congreso Matemático de las Américas. [32]
En 2018, Goldwasser recibió un título honorífico de su alma mater, la Universidad Carnegie Mellon . [33] El 26 de junio de 2019, la Universidad de Oxford le otorgó a Goldwasser un doctorado honorario en ciencias . [34]
Goldwasser aparece en las tarjetas de Mujeres Notables en Computación. [35] Ganó el premio Suffrage Science en 2016. [2] Fue miembro del jurado de Ciencias Matemáticas del Premio Infosys en 2020. [36] Fue galardonada con el Premio L'Oréal-UNESCO para Mujeres en la Ciencia 2021 en Ciencias de la Computación. [37]
Goldwasser está casada con su colega informático Nir Shavit , con quien tiene dos hijos. [38] [5]