Ran Raz

Bách khoa toàn thư mở Wikipedia
Bước tới: menu, tìm kiếm

Ran Raz (tiếng Hebrew: רָן רָז) là nhà khoa học máy tính người Israel chuyên về lý thuyết độ phức tạp thuật toán.

Cuộc đời và Sự nghiệp[sửa | sửa mã nguồn]

Ông là giáo sư ở Phân khoa toán họckhoa học máy tính của Học viện Khoa học Weizmann tại Rehovet, Israel.

Ran Raz nổi tiếng về công trình nghiên cứu các hệ chứng minh tương tác (interactive proof system). Các bài khảo cứu được trích dẫn nhiều nhất của ông là Raz (1998) về các hệ chứng minh tương tácRaz & Safra (1997) về các probabilistically checkable proof.[1]

Giải thưởng[sửa | sửa mã nguồn]

Ran Raz được thưởng Giải Erdős năm 2002.

Công trình của ông đã được tưởng thưởng ở các hội nghị hàng đầu về tin học lý thuyết. Năm 2004, Raz (2004),[2] của ông được giải thưởng bài khảo cứu xuất sắc nhất ở Hội nghị chuyên đề về lý thuyết tính toán (Symposium on Theory of Computing) của Association for Computing MachineryRaz & Shpilka (2004).[3] của ông được giải thưởng bài khảo cứu xuất sắc nhất ở Hội nghị về độ phức tạp thuật toán (Conference on Computational Complexity)của IEEE. Năm 2008, tác phẩm Moshkovitz & Raz (2008) đoạt giải thưởng bài khảo cứu xuất sắc nhất ở Hội nghị chuyên đề về thành lập Khoa học máy tính (Symposium on Foundations of Computer Science) của IEEE.[4]

Tác phẩm chọn lọc[sửa | sửa mã nguồn]

Tham khảo[sửa | sửa mã nguồn]

  1. ^ Citations counts for Raz (1998) as of 21 Feb 2009: Google Scholar: 313, ISI Web of Knowledge: 120, ACM Digital Library: 57 + 17, MathSciNet: 53. Citations counts for Raz & Safra (1997) as of 21 Feb 2009: Google Scholar: 314, ACM Digital Library: 71, MathSciNet: 59.
  2. ^ Proc. STOC 2004: "STOC 2004 Conference Awards", page x. [1]. One of two award papers.
  3. ^ Proc. CCC 2004: "Awards", page x. [2].
  4. ^ Proc. FOCS 2008: "Foreword", page xii. [3].

Liên kết ngoài[sửa | sửa mã nguồn]