Shafrira Goldwasser ( 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 e Informática en el Instituto de Tecnología de Massachusetts ; [6] profesor de ciencias matemáticas en el Instituto Weizmann de Ciencias , Israel ; el director del Instituto Simons de Teoría de la Computación de la Universidad de California, Berkeley ; y cofundador y científico jefe de Duality Technologies. [7] [8] [9] [10] [11]
Nacida en la ciudad de Nueva York , Goldwasser obtuvo su licenciatura en matemáticas y ciencias en 1979 en Carnegie Mellon . Continuó sus estudios en informática en Berkeley , donde obtuvo una maestría en ciencias en 1981 y un doctorado en 1984. Mientras estaba en Berkeley, ella y su asesor doctoral, Manuel Blum , propondrían el criptosistema Blum-Goldwasser . [3]
Goldwasser se unió al MIT en 1983 y en 1997 se convirtió en el primer titular de la Cátedra RSA. Se convirtió en profesora en el 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 título en Ciencias de la Computación. Premio al Alumno Distinguido.
Goldwasser recibió conjuntamente el Premio Turing 2012 por "revolucionar la ciencia de la criptografía". [14]
Desde noviembre de 2016, Goldwasser se desempeña como científico jefe y cofundador de Duality Technologies, una nueva empresa 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 nuevas empresas tecnológicas en el área de seguridad, incluida QED-it, especializada en Zero Knowledge Blockchain, y Algorand , una blockchain pura de prueba de participación . [dieciséis]
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 . Ella es la coinventora del cifrado probabilístico , [18] que estableció y logró el estándar de oro para la seguridad del cifrado de datos.
Goldwasser es coinventor 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 sólo se necesita una solución aproximada, [19] y métodos pioneros para delegar cálculos a servidores que no son de confianza. [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 lidera el Proyecto CETI , una iniciativa interdisciplinaria para traducir la comunicación de los cachalotes. [22]
Goldwasser recibió 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 Las pruebas interactivas y la dureza de las camarillas aproximadas ). [25] Otros premios incluyen el Premio ACM Grace Murray Hopper (1996) al joven profesional informático destacado del año y el Premio RSA a la Excelencia en Matemáticas (1998) por sus destacadas contribuciones matemáticas a la criptografía. En 2001 fue elegida miembro de la Academia Estadounidense de Artes y Ciencias y en 2002 pronunció una conferencia plenaria en el Congreso Internacional de Matemáticos en Beijing. [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é sobre Mujeres en la Computación de la Association for Computing Machinery. [27] Recibió la Medalla Benjamin Franklin 2010 del Instituto Franklin en Informática y Ciencias Cognitivas. [28] Recibió el premio IEEE Emanuel R. Piore en 2011. [29] Recibió el premio Frontera del Conocimiento 2018 junto con Micali, Rivest y Shamir. [30]
Goldwasser fue elegida miembro de ACM en 2017. [31] En julio de 2017, fue conferenciante plenaria en el Congreso de Matemáticas 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, Goldwasser recibió un doctorado honorario en ciencias de la Universidad de Oxford . [34]
Goldwasser aparece en las tarjetas de Mujeres notables en la informática. [35] Ganó el premio Suffrage Science en 2016. [2] Formó parte del jurado de Ciencias Matemáticas del Premio Infosys en 2020. [36] Recibió el Premio L'Oréal-UNESCO 2021 para la Mujer en la Ciencia en Informática. . [37]