Hoppa till innehållet

Shafi Goldwasser

Från Wikipedia
Shafi Goldwasser
Shafi Goldwasser
Shafi Goldwasser
Född14 november 1958 (65 år)
New York, New York, USA
Nationalitetisraelisk-amerikansk
(dubbelt medborgarskap)
Alma mater
DoktorsavhandlingProbabilistic Encryption: Theory and Applications
ORCID0000-0003-4728-1535

Shafrira Goldwasser (hebreiska: שפרירה גולדווסר), född 1958, är en amerikansk-israelisk datavetare och vinnare av Turing Award 2012. Hon är professor i elektroteknik och datavetenskap vid MIT, professor i matematisk vetenskap vid Weizmann Institute of Science, Israel, grundare och chief scientist (chefsforskare) av Dualitet Technologies[1] och direktören för Simons Institute for the Theory of Computing i Berkeley, CA.[2][3][4][5]

Goldwasser föddes 1958 i New York. Hon erhöll sin B. S. (1979) i matematik och naturvetenskap från Carnegie Mellon University, och M. S. år 1981. 1984 tog hon doktorsexamen i datavetenskap från University of California, Berkeley, under tillsyn av Manuel Blum som är känd för att ge råd till några av de mest framstående forskarna inom området. Hon gick på MIT 1983 och 1997 blev den första innehavaren av RSA-Professur. 1993 blev hon professor vid Weizmann Institute of Science samtidigt som hennes professor vid MIT. Hon är en medlem av gruppen Teori för Beräkning vid MIT Computer Science and Artificial Intelligence Laboratory.[6] Goldwasser var en av mottagarna av 2012 Turing Award.[7] Den 1 januari 2018 blev Goldwasser chef för Simons Institutet för Teorin om Design vid University of California, Berkeley.[8]

Sedan november 2016 är Goldwasser chefsforskare och medgrundare av Duality Technologies, en israelisk-amerikansk start-up som erbjuder säker dataanalys genom användandet av avancerade kryptografiska tekniker[1]. Hon är också vetenskaplig rådgivare för flera start-ups inom datasäkerhetsområdet, inklusive företaget QED-it, som specialiserat sig på Zero Knowledge Blockchain.

Vetenskapliga karriär

[redigera | redigera wikitext]

Goldwassers forskningsområden inkluderar komplexitet inom beräkningsvetenskap, kryptografi och algoritmisk talteori. Hon är med-uppfinnare till probabilistisk kryptering[9], som nått den gyllene standarden för säkerhet för kryptering av data. Hon är med-uppfinnare av zero-knowledge proofs, som probabilistiskt och interaktivt visar giltigheten av ett påstående utan att förmedla någon ytterligare kunskap, och är ett viktigt verktyg i utformningen av kryptografiska protokoll. Hennes arbete i komplexitetsteori omfattar klassificering av tillnärmningsproblem, som visar att vissa problem i NP förblir hårda även när endast en ungefärlig lösning behövs[10], och banbrytande metoder för att delegera beräkningar för betrodda servrar [11]. Hennes arbete inom talteori, inkluderar uppfinningen med Joe Kilian av primality bevisning med hjälp av elliptiska kurvor [12].

Priser och utmärkelser

[redigera | redigera wikitext]

Goldwasser tilldelades 2012 Turing Award tillsammans med Silvio Micali för deras arbete inom kryptografi.[13] Goldwasser har vunnit Gödel Pris i teoretisk datalogi vid två tillfällen: först 1993 (för "The knowledge complexity of interactive proof systems"),[14] och 2001 (för "Interactive Proofs and the Hardness of Approximating Cliques").[15] Andra utmärkelser inkluderar ACM Grace Murray Hopper Award (1996) som ges till årets framstående unga datorexpert. Hon har också tilldelats RSA-priset i Matematik (1998) för utestående matematiska bidrag till kryptografi. 2001 valdes hon in i American Academy of Arts and Sciences, 2004 valdes hon in i National Academy of Science, och 2005 valdes hon in i National Academy of Engineering. 2007 valdes hon ut till IACR Fellow. Goldwasser mottog 2008-2009 Athena Lecturer Award of the Association for Computing Maxhinery's Comitte on Women in Computing.[16] Hon är mottagare av The Franklin Institute's 2010 Benjamin Franklin Medalj i data- och kognitionsvetenskap.[17] Hon mottog IEEE Emanuel R. Piore Award 2011. 2017 valdes hon till ACM Fellow.[18] Hon mottog 2018 Frontier of Knowledge award tillsammans med Micali, Rivest och Shamir [19].

  1. ^ [a b] http://duality.cloud/
  2. ^ Exponent: Shafi Goldwasser Arkiverad 27 september 2010 hämtat från the Wayback Machine.
  3. ^ Mall:ACMPortal
  4. ^ Mall:Scopus(subscription required)Mall:Scopus
  5. ^ Goldwasser, S.; Micali, S. (1984). ”Probabilistic encryption”. Journal of Computer and System Sciences 28 (2): sid. 270. doi:10.1016/0022-0000(84)90070-9. 
  6. ^ ”Shafi Goldwasser Biography”. www.BookRags.com. http://www.bookrags.com/biography/shafi-goldwasser-wcs/. 
  7. ^ AbAbazorius, CSAIL (13 mars 2013). ”Goldwasser and Micali win Turing Award”. MIT News. http://web.mit.edu/newsoffice/2013/goldwasser-and-micali-win-turing-award-0313.html. 
  8. ^ http://news.berkeley.edu/2017/10/10/shafi-goldwasser-appointed-director-of-the-simons-institute-for-the-theory-of-computing/
  9. ^ ”Arkiverade kopian”. Arkiverad från originalet den 28 mars 2016. https://web.archive.org/web/20160328011754/http://groups.csail.mit.edu/cis/pubs/shafi/1984-jcss.pdf. Läst 8 mars 2018. 
  10. ^ ”Arkiverade kopian”. Arkiverad från originalet den 10 juni 2011. https://web.archive.org/web/20110610152928/http://groups.csail.mit.edu/cis/pubs/shafi/1996-jacm.pdf. Läst 8 mars 2018. 
  11. ^ https://www.microsoft.com/en-us/research/publication/delegating-computation-interactive-proofs-for-muggles/
  12. ^ https://www.semanticscholar.org/paper/Primality-Testing-Using-Elliptic-Curves-Goldwasser-Kilian/997df4e2a661aed97b2ad782531aa2ce122cab4d
  13. ^ ”Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography”. ACM. Arkiverad från originalet den 16 mars 2013. https://web.archive.org/web/20130316052703/http://www.acm.org/press-room/news-releases/2013/turing-award-12. Läst 13 mars 2013. 
  14. ^ Goldwasser, S.; Micali, S.; Rackoff, C. (1985). ”The knowledge complexity of interactive proof-systems”. Proceedings of the seventeenth annual ACM symposium on Theory of computing - STOC '85. Sid. 291. doi:10.1145/22145.22178. ISBN 0897911512. 
  15. ^ Feige, U.; Goldwasser, S.; Lovász, L.; Safra, S.; Szegedy, M. (1996). ”Interactive proofs and the hardness of approximating cliques”. Journal of the ACM 43 (2): sid. 268–292. doi:10.1145/226643.226652. 
  16. ^ ”Home”. weizmann.ac.il. http://www.wisdom.weizmann.ac.il. 
  17. ^ News Office (21 oktober 2009). ”Goldwasser, Stubbe named Franklin Institute laureates”. MIT News. http://web.mit.edu/newsoffice/2009/franklin-laureates.html. 
  18. ^ ACM Recognizes 2017 Fellows for Making Transformative Contributions and Advancing Technology in the Digital Age, Association for Computing Machinery, December 11, 2017, https://www.acm.org/media-center/2017/december/fellows-2017, läst 13 november 2017 
  19. ^ https://www.frontiersofknowledgeawards-fbbva.es/