跳至內容

然·拉茨

維基百科,自由的百科全書

然·拉茨 (英語:Ran Raz, 希伯來語רָן רָז‎) 是一位專長於計算複雜性理論計算機科學家。他現在是以色列魏茨曼科學研究學院數學與計算機科學學部的教授。

然·拉茨最著名的工作是交互式證明系統。他的引用數最多的兩篇論文是:一篇Raz (1998)是關於多證明者交互證明;另一篇Raz & Safra (1997)是關於概率可驗證證明.[1]

然·拉茨曾於2002年獲得保羅·埃爾德什獎(Erdős Prize)。他也曾多次獲得理論計算機領域頂級會議的最佳論文獎項。他的工作Raz (2004)[2]獲得2004年STOC的最佳論文獎。他的工作 Raz & Shpilka (2004)獲得2004年IEEE CCC的最佳論文獎[3]。他的工作Moshkovitz & Raz (2008)獲得2008年IEEE FOCS[4]的最佳論文獎。

著名論文

註記

  1. ^ Raz (1998)的引用數統計2009年2月21日: Google學術搜索: 313, ISI網頁知識: 120, ACM數字圖書館: 57 + 17, MathSciNet: 53頁面存檔備份,存於網際網路檔案館)。 截至2009年2月21日,後一篇論文Raz & Safra (1997)的引用數是:Google學術搜索: 314, ACM數字圖書館: 71, MathSciNet: 59頁面存檔備份,存於網際網路檔案館).
  2. ^ Proc. STOC 2004: "STOC 2004 Conference Awards", page x. [1]獲得ACM STOC的最佳論文獎。
  3. ^ Proc. CCC 2004: "Awards", page x. [2]頁面存檔備份,存於網際網路檔案館).
  4. ^ Proc. FOCS 2008: "Foreword", page xii. [3]頁面存檔備份,存於網際網路檔案館).

外部連結