您当前的位置：首页 >> 设计观点

理论计算机技术顶会FOCS 2021奖项揭晓！姚期智获时间检验奖，MIT毛啸获最佳学生论文奖

2024-12-29 12:17:56

科想得到麻省理工兼修院高等数兼修与相异值机双兼修位。

第 29 届国际个人信息兼修奥林匹克竞赛（IOI 2017）银牌。

3小时检测者

来年的小时检测者有7位“获者者”，他们分别是：

1.Uriel Feige, Shafi Goldwasser, László Lovász, Shmuel Safra, Mario Szegedy:《Approximating Clique is Almost NP-Complete》

FOCS 1991

所写：

Uriel Feige

约旦相异值机发现者，任约旦雷霍西蒙魏茨曼科兼修基础知识深入研究小组相异值机科兼修基础知识与应用领域哈佛大兼修任教。

与 Amos Fiat 和 Adi Shamir ；还有所制造了 Feige-Fiat-Shamir 识别提议。

Shafrira Goldwasser

约旦犹太裔American相异值机发现者，2012 年想得到左图灵者。她是麻省理工兼修院康奈尔大兼修和相异值机科兼修基础知识的 RSA 任教，高等数兼修科兼修基础知识任教（约旦魏茨曼科兼修基础知识深入研究小组），Duality Technologies的倡议创始人和首席发现者，以及赞州伯克利的 Simons 相异值论点深入研究小组所长。

László Lovász

奥地利高等物理兼修家和Eötvös Loránd的大兼修的名誉任教，在混搭高等数兼修方面的岗位曾三度，他与阿维·雷格德森 (Avi Wigderson) ；还有想得到了 2021 年阿贝尔者。2007年至2010年任国际高等数兼修联盟主席，2014年至2020年任奥地利科兼修基础知识院主任委员。

在左图论方面，Lovász 的不同寻常表彰除此以外 Kneser 素数和 Lovász 局部引理的表明，以及 Erdős-Faber-Lovász 素数的公式化。他也是 LLL 格约化线性的同名所写之一。

Shmuel Safra

约旦相异值机发现者。约旦特拉维夫的大兼修相异值机科兼修基础知识任教。

Safra 的深入研究应用领域除此以外算点和链式论点。他在链式论点方面的岗位深入研究了有限链式在无限字符串上的未确定性和互补性，特别是 Büchi 链式、Street 链式和 Rabin 链式的翻译算法。

2001 年，Safra 因其兼修术论文“Interactive Proofs and the Hardness of Approximating Cliques”和“Probabilistic Checking of Proofs: A New Characterization of NP”想得到论点相异值机科兼修基础知识哥德尔者。

Mario Szegedy

奥地利犹太裔American相异值机发现者，罗尼尔的大兼修相异值机科兼修基础知识任教。他想得到了哲兼修博士。1989 年想得到芝赞哥的大兼修相异值机科兼修基础知识哲兼修博士。Szegedy 的深入研究应用领域除此以外相异值算点和凝聚态相异值。

他在 2001 年和 2005 年两次想得到哥德尔者，以表彰他在随机性可检测表明和相异东流原始数据当中频率四极的空间算法方面的岗位。他在文件共享方面的岗位也想得到了 2019 年巴黎卡内拉基斯论点与实践者的认可。

2.Did Zuckerman:

《Simulating BPP Using a General Weak Random Source》

FOCS 1991

兼修术论文URL：~diz/Sub%20Websites/Research/Simulating_bpp_using_a_general_weak_random_sources.pdf

兼修术论文引介：

该兼修术论文展览品了如何常用δ乃是的驱动在质数小时内实时 BPP 和相异线性。δ乃是是一个弱随机乃是，它只对 R 位询问一次，并且必须根据某种原产驱动一个 R 位串，该原产在任何特定串上的随机性不大约。此外，文章还应用领域了 MAX CLIQUE 的不可相异性。

所写：

Did Zuckerman

American论点相异值机发现者，他的岗位涉及相异值当中的或许。休斯敦的大兼修达拉斯医学院的相异值机科兼修基础知识任教。

Zuckerman 的仅有岗位都涉及相异值当中的或许，尤为是所谓或许。他撰写了 80 多篇兼修术论文，主题除此以外或许提炼出内置、所谓随机生成内置、编码论点和赞密算法。Zuckerman 以其在或许提炼出内置方面的岗位而尤以。2015 年，Zuckerman 和他的校内 Eshan Chattopadhyay 通过首次完全一致紧密结合双乃是提炼出内置，应付了该应用领域一个重要的解禁弊端。2016 年 ACM 相异值论点讲座上想得到了最佳兼修术论文者。

3.Serge A. Plotkin, Did B. Shmoys, Éva Tardos:

《Fast Approximation Algorithms for Fractional Packing and Covering Problems》

FOCS 1991

所写：

Serge A. Plotkin

斯坦福的大兼修相异值机科兼修基础知识都和任教。Serge 已登载了一百多篇电子技术兼修术论文，并已想得到十四项专利。他曾担任 IEEE 准则化管理委员会驱动器确保安全岗位组 P1619/P1619.1 的副主席，该管理委员会的勤务是创建驱动器赞密准则，并且是 IEEE1619 准则的撰稿。

Did B. Shmoys

康奈尔的大兼修计算机科兼修与个人信息研究生院和相异值机科兼修基础知识都和的任教。主要深入研究朝向是离散建模弊端线性的的设计和统计分析。他的岗位突出了线性规划在 NP 新弊端的相异线性的设计当中的作用。以开创性深入研究为多个适时和聚类弊端（除此以外 k 当中心和 k 当中值弊端以及特例分配弊端）提供第一个常数因子性能尽可能而尤以。他为适时弊端开发的质数小时相异提议已在许多后续岗位当中想得到应用领域。现有的深入研究除此以外相异值生物兼修当中的随机建模、相异值可持续性和建模电子技术。

Éva Tardos

奥地利高等物理兼修家和康奈尔的大兼修相异值机科兼修基础知识的 Jacob Gould Schurman 任教。

Tardos 的深入研究热情是线性。她的岗位综合是的设计和统计分析左图或网路上混搭建模弊端的有效地方法。她在网路东流线性方面做了一些岗位，例如网路东流、切割和聚类弊端的相异线性。她最近的岗位综合是线性统计兼修和简单拍卖会。

4.Ran Canetti:

《Universally Composable Security: A New Paradigm for Cryptographic Protocols》

FOCS 2001

兼修术论文URL：

兼修术论文引介：

这篇兼修术论文设想了一个揭示赞密协约和统计分析其确保兼容性的通用基础。该基础允许以统一和的都和统的方式指明仅有任何赞密勤务的确保安全决定。此外，在该基础当中，协约的确保兼容性在称为通用混搭的通用混搭赞载下想得到必要措施。所设想的基础及其确保安全必要措施混搭赞载允许从更简单的紧密结合块对复杂的攻击者协约进行时小型化的设计和统计分析。此外，在此基础内，协约尽可能在任何上下文当中保持其确保兼容性，即使依赖于以对抗性控制方式并发开始运行的无限数目的任意协约离线也是如此。这是一个有用的尽可能，它允许在复杂和不可预测的周围环境（例如现代无线电通信网路）当中赞密协约的确保兼容性。

所写：

Ran Canetti

波士顿的大兼修相异值机科兼修基础知识任教。Check Point 个人信息确保安全深入研究小组和可靠个人信息的都和统和网路确保安全当中心的干事。他还是《赞密算法与个人信息与相异值月刊》的主编。他的主要深入研究应用领域涵盖赞密算法和个人信息确保安全，综合是攻击者协约的的设计、统计分析和常用。

5.Boaz Barak:

《How to Go Beyond the Black-Box Simulation Barrier》

FOCS 2001

兼修术论文URL：

兼修术论文引介：

实时范式是赞密算法的核能心。实时是一种线性，它试左图在不真的这个诚实方的公用匹配的只能实时对手与诚实方的交互。仅有所有未知的实时都将对手的线性用作黑匣子。该兼修术论文展览品了非黑匣子实时的第一个结构。常用这些属于自己非黑匣子电子技术，深入研究执法人员想得到了几个那时候常用黑匣子实时不也许想得到的结果。

一个大，举例依赖于抗碰撞数组formula_，兼修术论文的所写为 NP 紧密结合了一个属于自己零基础知识值的都和统，尽可能以下也就是说：

1）该的都和统不具备静止的轮数，稳健性误差可以忽略不计。

2）即使同时混搭 n 次，它仍然是零基础知识，其当中 n 是确保安全值。已表明常用黑匣子实时不也许同时想得到也就是说 1 和 2。

3）它是一个 Arthur-Merlin（公共硬币）协约。同时想得到也就是说 1 和 3 也被表明是不也许用民进党中央实时紧密结合的。

4）它有一个在严格质数小时内开始运行的实时，而不是在略长期内的质数小时内。所有此前未知的尽可能也就是说 1 的零基础知识值都常用了略长期内的质数小时实时。这项岗位表明，同时想得到也就是说 1 和 4 也不也许用黑匣子实时紧密结合。

所写：

Boaz Barak

哈佛的大兼修相异值机科兼修基础知识都和约旦犹太裔American任教。2013 年，他、罗伯特·J·戈德斯顿 (Robert J. Goldston) 和亚历山大·格拉泽 (Alexander Glaser) 共同开发的设计了一个“零基础知识”的都和统。通过将高能当中子为了让到被调查的弹头当中，并将穿过的原产与穿过未知弹头的原产进行时比较，检查员可以未确定被撤走的弹头是真实的还是意在逃避条约决定的诡计，而也许会泄漏核能悄悄。由于这项岗位，他被选为 2014 年“外交政策”世界性 100 位理论家弊端。他与 Mark Brerman、Xi Chen 和 Anup Rao ；还有凭借兼修术论文“How to Compress Interactive Communication”想得到 2016 年 SIAM 杰出兼修术论文者。

6.Amit Chakrabarti, Yaoyun Shi, Anthony Wirth, Andrew Chi-Chih Yao:

《Informational Complexity and the Direct Sum Problem for Simultaneous Message Complexity》

FOCS 2001

兼修术论文URL：~ac/Pubs/focs01-infocomplex.pdf

兼修术论文引介：

给定 m 个完全一致弊端的复本，应付这 m 个弊端否需要 m 倍的资乃是？这是直和弊端，这是许多相异值基础当中深入研究过的基本弊端。这篇兼修术论文在替换成的同步通告（SM）无线电通信基础当中深入研究了这个弊端。众所周知，n 位字符串的相等弊端不具备 SM 算法。深入研究执法人员表明应付弊端的 m 个复本不具备算法；常用此前未知电子技术可表明的最佳上界是。深入研究执法人员还表明了等式formula_的多个复本的某些巴罗混搭的值得注意上界。这些结果可以提倡到更普遍的formula_类。科兼修基础知识界们替换成了一个属于自己个人信息算法概念，它与 SM 算法具体，并不具备很好的直接和也就是说。这个概念被用作表明上述结果的物件：它却是更赞强大，也许不具备独立的共同利益。

所写：

Amit Chakrabarti

奥尔巴尼兼修院相异值机科兼修基础知识都和的任教，2002 年想得到普林斯顿的大兼修相异值机科兼修基础知识兼修士兼修位和电子技术兼修士兼修位。1997 年想得到孟买斯里兰卡理工兼修院相异值机科兼修基础知识哲兼修博士，并想得到斯里兰卡民选总统金牌。Chakrabarti的深入研究涉及论点相异值机科兼修基础知识的普遍应用领域。具体热情是（1）算点，尤为是无线电通信算法和个人信息论点的应用领域，以及（2）线性，除此以外用于海量原始数据东流的空间高效线性和用于建模弊端的相异电子技术。他的深入研究想得到了American国家科兼修基础知识基金会的多个者项（除此以外 CAREER 者）和奥尔巴尼兼修院的者兼修金。

施尧耘

阿里名曰（中国公司名曰）凝聚态麻省理工兼修院（AQL）的创始干事。施尧耘正在组建一个国际团队，以紧密结合凝聚态个人信息电子技术的新技术前瞻性。1997年想得到北京的大兼修兼修士兼修位。2001 年从普林斯顿的大兼修想得到相异值机科兼修基础知识哲兼修博士。在赞州理工兼修院凝聚态个人信息深入研究小组想得到深入研究生者兼修金后，赞入了密歇根的大兼修安娜堡医学院的相异值机科兼修基础知识都和。

Anthony Wirth

Anthony2005 年想得到普林斯顿普林斯顿的大兼修哲兼修博士。此后，那时候是澳大利亚西澳墨尔本墨尔本的大兼修的教员。现有的深入研究热情除此以外左图、字符串和相异线性、聚类、线性改建工程、自适应采样和生物数列统计分析。

Andrew Chi-Chih Yao（姚期智）

相异值机科兼修基础知识专业人士，2000年左图灵者想得到者，American国家科兼修基础知识院外籍中国科兼修院、American当代艺术与科兼修基础知识院外籍中国科兼修院、当中国科兼修基础知识院中国科兼修院、台湾当中央深入研究院中国科兼修院、澳门人科兼修基础知识院创院中国科兼修院，清华大学的大兼修交叉个人信息深入研究院主任委员，清华大学的大兼修高等深入研究当中心任教，澳门人当中文的大兼修博文讲座任教，清华大学的大兼修-麻省理工兼修院-澳门人当中文的大兼修论点相异值机科兼修基础知识深入研究当中心干事。深入研究朝向除此以外相异值论点及其在赞密算法和凝聚态相异值当中的应用领域，最先设想凝聚态无线电通信算法，设想原产式凝聚态相异值Mode，此后成为原产式凝聚态线性和凝聚态的通讯协约确保兼容性的典范。

7.Zvika Brakerski, Vinod Vaikuntanathan:

《Efficient Fully Homomorphic Encryption from (Standard) LWE》

FOCS 2011

兼修术论文URL：

兼修术论文引介：

该兼修术论文设想了一个完全同态的赞密提议——完全基于（准则）有错误兼修习（LWE）举例。在 LWE 上应用领域未知结果，本兼修术论文提议的确保兼容性基于任意格上“略长formula_弊端”的最坏情况硬度。深入研究执法人员的构造在两个方面优化了那时候的岗位：

1）展览品了“相异同态”的赞密可以基于 LWE，常用一种属于自己重新线性化电子技术。相比，此前的所有提议都依赖于与各种环当中的理想具体的算法举例。

2）偏离了此前常用的“切割范式”。深入研究执法人员替换成了一种属于自己降维均值电子技术，它缩略长了密文并降低了提议的算法，而无需替换成额外的举例。

这篇兼修术论文的提议不具备更赞略长的密文，因此科兼修基础知识界们常用它来紧密结合渐近高效的基于 LWE 的单服务内置私有个人信息检索 (PIR) 协约。深入研究执法人员协约的无线电通信算法（在公钥基础当中）是 k · polylog(k) + log |DB| bits persingle-bit查询（这里k是一个确保安全值）。

所写：

Zvika Brakerski

魏茨曼科兼修基础知识深入研究小组相异值机科兼修基础知识与应用领域哈佛大兼修的副任教，深入研究热情为相异值机科兼修基础知识典范，现有主要投身于赞密算法和凝聚态相异值的深入研究。Zvika Brakerski 在魏茨曼科兼修基础知识深入研究小组相异值机科兼修基础知识与应用领域哈佛大兼修2011年想得到了哲兼修博士，随后在斯坦福的大兼修当了两年 Simons 深入研究生深入讲师。

Vinod Vaikuntanathan

麻省理工兼修院康奈尔大兼修和相异值机科兼修基础知识都和的副任教、Duality Technologies 的首席赞密算法家。他是大多数现代全同态赞密的都和统和许多其他基于格的（后凝聚态确保安全）攻击者原文的；还有Emil。想得到了 IBM Josef Riv Fellowship、NSF Career Award、Sloan Faculty Fellowship、Microsoft Faculty Fellowship、DARPA Young Faculty Award 和 Harold E. Edgerton Faculty Award。想得到了斯里兰卡理工兼修院古吉拉特医学院的电子技术兼修士兼修位，以及麻省理工兼修院的硕士和哲兼修博士。

5关于FOCS

FOCS的前身为开关电路论点与逻辑的设计讲座（Symposium on Switching Circuit Theory and Logical Design），1960年设立之时，该联席会议没有单独登载概要，大多高等数兼修术论文都登载在1961年联席会议兼修术论文集后半部分。

在1966年举行的第7次联席会议时，地名改为开关和链式论点讲座（Symposium on Switching and Automata Theory, SWAT）。

由于联席会议数目不断扩大，1975年定名为为今天的地名。此前 Alvy Ray Smith 开启了独特的封面当代艺术，这那时候 FOCS 概要的一个特点，直到 2010 年 FOCS 结束印刷概要的生产。；还有的 FOCS 狐狸标志则创建于第26届联席会议。

本年度FOCS将于2022年2月7-10日在American密歇根州爱达荷州举办。

参考URL：