b'\n_START_ARTICLE_\nShafi Goldwasser\n_START_PARAGRAPH_\nShafrira (Shafi) Goldwasser (New York, 1958), is een Isra\xc3\xablisch-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.\n_START_SECTION_\nLevensloop\n_START_PARAGRAPH_\nGoldwasser werd in 1958 in New York geboren. Haar ouders waren Isra\xc3\xablisch, en daarom bezit ze zowel de Isra\xc3\xablische 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\xc3\xafnteresseerd 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._NEWLINE_Goldwasser is getrouwd met Nir Shavit, een informaticus aan de Universiteit van Tel Aviv en MIT.\n_START_SECTION_\nWerk\n_START_PARAGRAPH_\nGoldwasser 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.'