然·拉茨

然·拉茨 (英語:, 希伯來語) 是一位专长于计算复杂性理论计算机科学家。他现在是以色列魏茨曼科學研究學院数学与计算机科学学部的教授。

然·拉茨最著名的工作是交互式证明系统。他的引用数最多的两篇论文是:一篇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. 获得ACM STOC的最佳论文奖。
  3. Proc. CCC 2004: "Awards", page x. 页面存档备份,存于.
  4. Proc. FOCS 2008: "Foreword", page xii. 页面存档备份,存于.

外部链接

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.