Shafrira Goldwasser

Shafrira Goldwasser

Shafrira "Shafi" Goldwasser ( hebreo שפרירה גולדווסר; * 1958 en la ciudad de Nueva York ) es un científico informático estadounidense.

La vida

En 1979 recibió una licenciatura en matemáticas de la Carnegie Mellon University , una maestría en 1981 y un doctorado en ciencias de la computación de UC Berkeley en 1984 . En 1983 llegó al MIT y en 1997 se convirtió en la primera titular de la nueva cátedra RSA de ingeniería eléctrica e informática. 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 . También es profesora de Ciencias de la Computación y Matemáticas Aplicadas en el Instituto Weizmann de Ciencias en Israel .

actuar

Goldwasser investiga la teoría de la complejidad , la criptografía y la teoría algorítmica de números . En 1986, junto con Joe Kilian, desarrolló la prueba de números primos basada en curvas elípticas , que lleva el nombre de ambos autores . Ella es (alrededor de 1982) la co-inventora de pruebas de conocimiento cero (así como de sistemas de prueba interactivos en el mismo trabajo con Charles Rackoff y Silvio Micali ), que muestran la validez de una afirmación de manera interactiva y probabilística sin la transmisión de conocimiento adicional. y son una herramienta clave en el diseño de protocolos criptográficos. Sus contribuciones adicionales en el campo de la criptografía incluyen el desarrollo conjunto del criptosistema Blum-Goldwasser y el proceso de firma GMR . Su trabajo en la teoría de la complejidad trata de la clasificación de problemas aproximados, donde demostró que algunos problemas NP-difíciles siguen siendo difíciles incluso si solo se busca una solución aproximada.

Premios

Goldwasser recibió el Premio Gödel en Ciencias de la Computación Teórica dos veces por sus resultados innovadores : primero en 1993 (por "La complejidad del conocimiento de los sistemas de prueba interactivos" ), y nuevamente en 2001 (por "Pruebas interactivas y la dureza de las camarillas de aproximación" ), su participación en el teorema de PCP . Otros premios incluyen el de ACM Premio Grace Murray Hopper para Sobresaliente joven experto en informática de 1996, el Premio de RSA en Matemáticas (1998) para las contribuciones matemáticas sobresalientes a la criptografía y las Fundación BBVA Fronteras del Conocimiento (2017). En 2002 dio una conferencia plenaria en el Congreso Internacional de Matemáticos en Beijing ( Fundamentos matemáticos de la criptografía moderna: perspectiva de complejidad computacional ) y en 1990 fue invitada como ponente en el ICM de Kioto ( Pruebas y aplicaciones interactivas ).

Fue elegida miembro de la Academia Estadounidense de Artes y Ciencias en 2001, la Academia Nacional de Ciencias en 2004 y la Academia Nacional de Ingeniería en 2005 . Ha sido miembro de la Academia de Ciencias de Israel desde 2015 y miembro externo de la Academia de Ciencias de Rusia desde 2016 . En 2015 se convirtió en miembro honorario de la London Mathematical Society . En 2012 recibió el premio Turing . Fue galardonada con el Premio L'Oréal de la UNESCO para 2021 .

enlaces web

• Página de inicio de Shafi Goldwasser en el MIT (inglés)
• Entrada con la Academia de Ciencias de Israel

Evidencia individual

1. ↑ Shafrira Goldwasser en el Proyecto de genealogía matemática (inglés)Plantilla: MathGenealogyProject / Maintenance / id used
2. ↑ Shafi Goldwasser, Joe Kilian: Casi todos los primos pueden certificarse rápidamente. Proc. 18 ° STOC Berkeley 1986, págs. 316-329; Prueba de primalidad mediante curvas elípticas. Revista ACM 46 (1999), No. 4, págs. 450-472
3. ↑ test de primalidad Goldwasser-Kilian ( recuerdo de la original de 21 de julio de 2007 en el Archivo de Internet ) Información: El archivo de enlace se inserta de forma automática y sin embargo no ha sido comprobado. Verifique el enlace original y de archivo de acuerdo con las instrucciones y luego elimine este aviso. (PDF; 132 kB) @ 1@ 2Plantilla: Webachiv / IABot / crypto.math.uni-bremen.de
4. ↑ Shafi Goldwasser, Silvio Micali, Charles Rackoff La complejidad del conocimiento de los sistemas de prueba interactivos , SIAM Journal on Computing, Volumen 18, 1989, págs. 186-208 y STOC (Simposio ACM sobre la teoría de la computación) 1985 (las preimpresiones del trabajo deben ya en 1982)
5. ^ Libro de miembros. Consultado el 26 de julio de 2016 . 
6. ↑ Miembros extranjeros de la Academia de Ciencias de Rusia: Гольдвассер, Шафрира. Academia de Ciencias de Rusia, consultado el 27 de marzo de 2021 (en ruso).