Shafi

Shafi Goldwasser – Wikipedia

Shafrira "Shafi" Goldwasser (tiếng Do Thái: שפשפ Khoa học tại MIT, [4]một giáo sư khoa học toán học tại Viện Khoa học Weizmann, Israel, đồng sáng lập và nhà khoa học trưởng của Duality Technologies [5] và là giám đốc của Viện Simons về Lý thuyết tính toán ở Berkeley, CA. [6][7][8][9]

Tiểu sử [ chỉnh sửa ]

Sinh ra ở thành phố New York, Goldwasser có được BS của mình (1979) về toán học và khoa học từ Đại học Carnegie Mellon và M.S. (1981) và Tiến sĩ (1984) về khoa học máy tính từ Đại học California, Berkeley dưới sự giám sát của Manuel Blum, người nổi tiếng vì đã tư vấn cho một số nhà nghiên cứu nổi tiếng nhất trong lĩnh vực này. Cô gia nhập MIT vào năm 1983, và năm 1997 đã trở thành người nắm giữ đầu tiên của Giáo sư RSA. Cô trở thành giáo sư tại Viện Khoa học Weizmann, đồng thời là giáo sư của cô tại MIT, vào năm 1993. Cô là thành viên của nhóm Lý thuyết tính toán tại Phòng thí nghiệm Khoa học Máy tính và Trí tuệ Nhân tạo MIT. [10] Goldwasser là người đồng nhận Giải thưởng Turing năm 2012. [11]

Vào ngày 1 tháng 1 năm 2018, Goldwasser trở thành giám đốc của Viện Simons về Lý thuyết tính toán tại Đại học California, Berkeley. [12]

Kể từ tháng 11 năm 2016, Goldwasser là Nhà khoa học và đồng sáng lập của Duality Technologies, một công ty khởi nghiệp người Mỹ gốc Israel chuyên phân tích dữ liệu an toàn bằng cách sử dụng các kỹ thuật mã hóa tiên tiến. Blockchain và Algorand, một Blockchain bằng chứng cổ phần.

Sự nghiệp khoa học [ chỉnh sửa ]

Các lĩnh vực nghiên cứu của Goldwasser bao gồm lý thuyết phức tạp tính toán, mật mã và lý thuyết số tính toán.

Cô là người đồng phát minh ra mã hóa xác suất, [13] đã thiết lập và đạt được tiêu chuẩn vàng về bảo mật cho mã hóa dữ liệu.

Cô là người đồng phát minh ra các bằng chứng không có kiến ​​thức, chứng minh chính xác và tương tác chứng minh tính hợp lệ của một khẳng định mà không truyền đạt bất kỳ kiến ​​thức bổ sung nào, và là một công cụ chính trong thiết kế các giao thức mật mã. Công việc của cô trong lý thuyết phức tạp bao gồm việc phân loại các vấn đề gần đúng, cho thấy một số vấn đề trong NP vẫn khó khăn ngay cả khi chỉ cần một giải pháp gần đúng, [14] và phương pháp tiên phong để ủy thác tính toán cho các máy chủ không tin cậy. [15] , bao gồm phát minh với Joe Kilian về tính nguyên thủy chứng minh bằng cách sử dụng các đường cong elip. [16]

Goldwasser đã được trao Giải thưởng Turing năm 2012 cùng với Silvio Micali cho công việc của họ trong lĩnh vực mật mã học. khoa học: lần đầu tiên vào năm 1993 (cho "Sự phức tạp về kiến ​​thức của các hệ thống chứng minh tương tác" ), [18] và một lần nữa vào năm 2001 (cho "Bằng chứng tương tác và độ cứng của xấp xỉ Cliqu" ) [19] Các giải thưởng khác bao gồm Giải thưởng ACM Grace Murray Hopper (1996) cho chuyên gia máy tính trẻ xuất sắc của năm và Giải thưởng RSA về Toán học (1998) cho toán học xuất sắc c ontribution to cryptography. Năm 2001, cô được bầu vào Viện Hàn lâm Khoa học và Nghệ thuật Hoa Kỳ, năm 2004, cô được bầu vào Viện Hàn lâm Khoa học Quốc gia và năm 2005 vào Học viện Kỹ thuật Quốc gia. Cô đã được chọn làm thành viên IACR vào năm 2007. Goldwasser đã nhận được giải thưởng Giảng viên Athena 2008-2009 của Hiệp hội máy tính về phụ nữ trong máy tính. [20] Cô là người nhận Huân chương Benjamin Franklin năm 2010 về máy tính và nhận thức Khoa học. [21] Cô đã nhận được giải thưởng Emanuel R. Piore năm 2011.

Cô đã nhận được giải thưởng Biên giới tri thức 2018 cùng với Micali, Rivest và Shamir. [22]

Cô được bầu làm Uỷ viên ACM năm 2017. [23]

Năm 2018, cô được trao bằng danh dự bởi trường cũ của cô, Đại học Carnegie Mellon. [24]

Tài liệu tham khảo [ chỉnh sửa ]

  1. ^ Goldwasser, S.; Micali, S.; Rivest, R. L. (1988). "Lược đồ chữ ký số an toàn chống lại các cuộc tấn công tin nhắn được lựa chọn thích ứng".Tạp chí SIAM về máy tính . 17 (2): 281. doi: 10.1137 / 0217017.
  2. ^ Savage, N. (2013). "Bằng chứng có thể xảy ra: Shafi Goldwasser và Silvio Micali đã đặt nền móng cho mật mã hiện đại, với những đóng góp bao gồm bằng chứng tương tác và không có kiến ​​thức". Truyền thông của ACM . 56 (6): 22. doi: 10.1145 / 2461256.2461265.
  3. ^ a b Shafi Gold
  4. ^ "Shwi Goldwasser | MIT CSAIL". www.csail.mit.edu . Truy xuất 2018-11 / 02 .
  5. ^ a b "Giới thiệu – Công nghệ đối ngẫu". Công nghệ đối ngẫu . Truy cậpngày 10 tháng 4 2018 .
  6. ^ Số mũ: Shafi Goldwasser Lưu trữ ngày 27 tháng 9 năm 2010, tại trang của Wayback Machine.
  7. ^ Thư viện kỹ thuật số ACM
  8. ^ Các ấn phẩm của Shafi Goldwasser được lập chỉ mục bởi cơ sở dữ liệu thư mục Scopus. (yêu cầu đăng ký)
  9. ^ Goldwasser, S.; Micali, S. (1984). "Mã hóa xác suất". Tạp chí Khoa học Máy tính và Hệ thống . 28 (2): 270. doi: 10.1016 / 0022-0000 (84) 90070-9.
  10. ^ "Tiểu sử Shwi Goldwasser". www.BookRags.com .
  11. ^ AbAbazorius, CSAIL (13 tháng 3 năm 2013). "Goldwasser và Micali giành giải thưởng Turing". MIT News .
  12. ^ "Shafi Goldwasser được bổ nhiệm làm giám đốc của Viện Simons cho Lý thuyết tính toán". News.ber siêu.edu . Ngày 10 tháng 10 năm 2017 . Truy xuất 10 tháng 4 2018 .
  13. ^ "Mã hóa xác suất" (PDF) . Groups.csail.mit.edu . Truy xuất 10 tháng 42018 .
  14. ^ "Bằng chứng tương tác và độ cứng của các xấp xỉ xấp xỉ" (PDF) .Groups.csail.mit.edu . Truy cập 10 tháng 4 2018 .
  15. ^ Goldwasser, Shafi; Kalai, Yael Tauman; Rothblum, Guy (1 tháng 1 năm 2008). "Ủy thác tính toán: bằng chứng tương tác cho muggles". Nghiên cứu của Microsoft . Truy cập 10 tháng 4 2018 .
  16. ^ "Kiểm tra tính nguyên thủy bằng cách sử dụng đường cong Elliptic – Học giả ngữ nghĩa". Semanticscholar.org . Truy cập 10 tháng 4 2018 .
  17. ^ "Goldwasser, Micali nhận giải thưởng ACM Turing cho những tiến bộ trong mật mã". ACM. Lưu trữ từ bản gốc vào ngày 16 tháng 3 năm 2013. Truy xuất 13 tháng 3 2013 .
  18. ^ Goldwasser, S.; Micali, S.; Rackoff, C. (1985). "Sự phức tạp về kiến ​​thức của các hệ thống bằng chứng tương tác". Thủ tục tố tụng của hội nghị chuyên đề ACM hàng năm lần thứ mười bảy về Lý thuyết điện toán – STOC '85 . tr. 291. đổi: 10.1145 / 22145.22178. Sđt 0897911512.
  19. ^ Feige, U.; Goldwasser, S.; Lovász, L.; Safra, S.; Szegedy, M. (1996). "Bằng chứng tương tác và độ cứng của các cụm xấp xỉ". Tạp chí ACM .43 (2): 268 Phản292. doi: 10.1145 / 226643.226652.
  20. ^ "Nhà". weizmann.ac.il .
  21. ^ Văn phòng Tin tức (21 tháng 10 năm 2009). "Goldwasser, Stubbe được đặt tên là người nhận giải của Viện Franklin". MIT News .
  22. ^ "trang chủ – Premios Fronteras". Premios Fronteras . Truy cập 10 tháng 4 2018 .
  23. ^ ACM công nhận các nghiên cứu sinh năm 2017 về đóng góp biến đổi và công nghệ tiến bộ trong kỷ nguyên số , Ngày 11 tháng 12 năm 2017đã truy xuất 2017-11-13
  24. ^ Đại học, Carnegie Mellon. "Diễn giả và người nhận bằng danh dự – Lãnh đạo – Đại học Carnegie Mellon". www.cmu.edu . Truy xuất 2018-09-21 .