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]
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.
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]