标签:#Weizmann Institute faculty

共 1 篇文章

然·拉茨

然·拉茨 (, ) 是一位专长于计算复杂性理论的计算机科学家。他现在是以色列魏茨曼科學研究學院数学与计算机科学学部的教授。 然·拉茨最著名的工作是交互式证明系统。他的引用数最多的两篇论文是:一篇是关于多证明者交互证明;另一篇是关于概率可验证证明. 然·拉茨曾于2002年获得保罗·埃尔德什奖(Erdős Prize)。他也曾多次获得理论计算机领域顶级会议的最佳论文奖项。他的工作获得2004年STOC的最佳论文奖。他的工作 获得2004年I…