Nascita |
14 novembre 1958 New York |
---|---|
Nazionalità |
Americano israeliano |
Casa | Israele |
Formazione |
Carnegie-Mellon University University of California a Berkeley |
Attività | Professore universitario , crittografo , matematico , informatico , ingegnere |
Lavorato per | Massachusetts Institute of Technology , Weizmann Institute |
---|---|
Campo | Informatica |
Membro di |
Accademia israeliana delle scienze e delle lettere Accademia nazionale di ingegneria degli Stati Uniti Accademia americana delle arti e delle scienze Accademia americana delle scienze (2004) |
Supervisore | Manuel Blum |
Sito web | people.csail.mit.edu/shafi |
Premi |
Premio Turing (2012) |
Archivi conservati da | Biblioteche del MIT ( in ) |
Shafi Goldwasser (in ebraico : שפרירה גולדווסר, Shafrira Goldwasser ) è un informatico americano - israeliano , nato il14 novembre 1958a New York . È professoressa al MIT e al Weizmann Institute . Ha ricevuto il Grace Murray Hopper Prize nel 1996, il Gödel Prize nel 1993 e nel 2001 e il Turing Prize nel 2012, per il suo lavoro sulle prove interattive nella teoria della complessità .
Shafi Goldwasser conseguito il BS dalla Carnegie-Mellon University , poi i suoi MS e Ph.D. dalla University of California a Berkeley ( dottorato di ricerca nel 1983 sotto la supervisione di Manuel Blum ).
Insegna dal 1983 al MIT , dove è Professore di Elettronica e Informatica , e dove ha, tra gli altri, supervisionato le tesi di Johan Håstad e Salil Vadhan . È anche Professore di Matematica dal 1993 presso l' Istituto Weizmann .
Il suo lavoro principale si concentra sulla teoria della complessità , crittografia e teoria dei numeri algoritmica . In particolare, è stato un pioniere nel campo delle prove interattive e delle prove senza divulgazione della conoscenza (in inglese ZKIP Zero Knowledge Interactive Proof ).
È anche interessata ai test di proprietà e all'apprendimento della PAC .
Ha ricevuto il Premio Gödel nel 1993 per l'articolo Sulla complessità dei sistemi di prova interattivi e nel 2001 per le dimostrazioni interattive e la durezza delle cricche approssimative .
Ha lavorato con Silvio Micali ed entrambi hanno ricevuto congiuntamente il Premio Turing nel 2012.