Shafi Goldwasser
Shafrira (Shafi) Goldwasser (New York, 1958), is een Israëlisch-Amerikaans informaticus die zich vooral bezighoudt met complexiteitstheorie en cryptografie. Ze is vooral bekend als een van de bedenkers van zero-knowledge-bewijzen. In 2012 kreeg ze samen met Silvio Micali een Turing Award.
Levensloop bewerken
Goldwasser werd in 1958 in New York geboren. Haar ouders waren Israëlisch, en daarom bezit ze zowel de Israëlische als de Amerikaanse nationaliteit. In 1979 behaalde ze een bachelorgraad in de wiskunde aan Carnegie Mellon University, en haalde daarna een mastergraad informatica aan de universiteit van Berkeley. Tijdens haar informaticastudie merkte ze dat ze meer geïnteresseerd was in theoretische onderwerpen. Ze begon een promotie bij Manuel Blum. In deze tijd begon haar samenwerking met Silvio Micali. Na haar promotie in 1984 ging ze aan de slag bij het MIT, waar ze inmiddels hoogleraar is. Sinds 1993 is ze daarnaast verbonden aan het Weizmann Instituut der Wetenschappen.
Goldwasser is getrouwd met Nir Shavit, een informaticus aan de Universiteit van Tel Aviv en MIT.
Werk bewerken
Goldwasser werkt aan complexiteitstheorie, cryptografie en computationele getaltheorie. Ze houdt zich bezig met interactieve bewijsmethoden en is samen met Silvio Micali de bedenker van zero-knowledge-bewijzen, een manier om een ander van de waarheid van een uitspraak te overtuigen zonder een deel van het bewijs bekend te maken. Deze theorie is belangrijk voor het opstellen van cryptografische protocollen. Ook heeft ze gewerkt aan de classificatie van problemen; zo hielp ze problemen te identificeren die zelfs NP-moeilijk zijn als er slechts een benadering van het optimale resultaat gevraagd wordt.
Prijzen bewerken
Goldwasser won tweemaal met haar co-auteurs een Gödelprijs, eenmaal in 1993 voor het ontwikkelen van interactieve bewijssystemen en eenmaal in 2001 voor werk in de complexiteitstheorie. In 2012 won Goldwasser met Silvio Micali de Turing Award.
Bronnen, noten en/of referenties
|