作者 | 青暮
编辑 | 陈大鑫
现任美国总统特朗普的诸多政策，曾屡次引发科学界的反感。近日，一份由24位图灵奖得主共同签署的文件曝光。
他们共同签署了文件，以支持前副总统拜登在11月的美国总统竞选。Yann LeCun、Manuel Blum、John Hennessy、John Hopcroft、Alan Kay、David Patterson等人也位列其中。
Yann LeCun在推特上表示：
移民和科学相关的政策至关重要。
Jeff Dean也在推特上说道，签署文件的科学家里有几位是他同事，并且大部分都是美国公民。
MIT CSAIL则表示，乔·拜登获得了35位在世图灵奖获奖者中的24位的支持。这是图灵奖54年以来历史上首次，得奖者聚集在一起以认可一位总统候选人。
MIT CSAIL还分享了签署文件的地址，该文件的开头写道：
信息技术已完全全球化。 学术计算机科学系吸引了才华横溢的学生，其中许多人移民并成为美国的发明家和行业领袖。我们歌颂开源项目，这是计算机领域的命脉，是国际合作的典范。 当本着进步的精神自由分享其学习和发现时，计算机科学领域将处于最佳状态。这些核心价值帮助美国成为信息技术的领导者，而这对于信息时代至关重要。 乔·拜登和在制定公共政策之前先听取专家的意见，这对于科学技术解决当今国家面临的许多问题至关重要。作为美国计算机科学家和美国公民，我们热情地支持乔·拜登为总统。
签署文件地址：https://ift.tt/2ZQyN8M
据纽约时报报道，这些科学家支持拜登的理由是担心特朗普的移民政策损害美国技术的进步。David Patterson表示，美国的移民政策正在将最有才华的人送到其他国家。
在此前的一次小组采访中，其中四位科学家表示，特朗普政府的限制性移民规则对美国的计算机研究构成威胁，并可能对科技产业造成长期损害，而数十年来，科技产业一直是美国的经济引擎之一。
而就在近期，美国国务院就以所谓“国家安全”为由已撤销1000多名中国公民的签证，签证种类以F1为主，据说还包括H-1B和B签证。
据美国国务院领事馆官方公布的数据，今年美国在中国内地签发的F1学生签证数量只有177个。
9月7日，Nature有篇文章《US political crackdown spurs fears of Chinese brain-drain》，对数位知名科学家与学术相关人员进行了采访。
其中包括1997年物理诺贝尔奖获得者朱棣文（Steven Chu）、来自加州理工学院的生物学家黄诗厚（Alice Huang）、纽约皇后学院的校长Frank Wu与美国教育委员会（American Council on Education）的副主席Brad Farnsworth等。
文章中说道：自2018年以来，美国政府机构对中国公民实行了越来越严格的签证限制，并限制能与中国分享的研究成果。
据Nature报道，几位受访者表示，他们很担心政府对大学的外交干涉会导致在美中国科研人才的流失。目前，他们所认识的一些华裔科研人员因为“感到不安”，已经选择离开美国、回到中国。
今年6月23日，特朗普宣布暂停 H-1B、H-2B、L 和 J 非移民工作签证发放，其中H-1B签证适用于技术型人才。这项政策随后触怒了美国科技界。
H-1B签证禁令很可能对亚马逊、谷歌、微软、Facebook、IBM、苹果、英特尔等科技巨头带来严重的负面影响。
毕竟，根据移民信息网站 MyVisaJobs 对 2019 财年 H-1B 签证持有者的统计数据，软件工程师、软件开发者等职位位列前排。
对此，科技界名人就纷纷发表了自己的看法。例如谷歌 CEO Sundar Pichai 在推特表示，移民成就了美国，成就了谷歌，对白宫暂停 H-1B 签证的公告感到失望。
吴恩达表示，暂停 H-1B 签证对美国和科技创新毫无益处。Yann LeCun 更是连发数条 Twitter，表达自己的愤怒，他认为，推行这种移民政策是自杀行为。
我们不知道拜登上台后会如何，但至少他在竞选中曾明确表示，如果当选美国总统，会在上任第一天就取消针对H-1B等签证的限制令。
从移民政策上对比，拜登相对于特朗普更开放和放松，更欢迎移民。如果拜登信守诺言，那么近期在F1签证上遭遇困境的留学生或也有望解围，美国的留学生或许也不用再面对“不线下听课，就离开美国”这样的荒唐事。
以下介绍了联名签署文件的24位图灵奖得主，他们都以个人身份签了名。
皮克斯（Pixar）联合创始人Ed Catmull担任皮克斯总裁已有33年之久。他建立了三个计算机图形学研究中心，包括Lucasfilm Ltd.和Pixar的计算机部门。这些组织在计算机图形学方面取得了一些最根本的进步。他是RenderMan渲染软件的架构师，该软件已被90％的奥斯卡金像奖视觉效果获奖者使用。根据五十多年的学习经验，他与人合着了《 Creativity，Inc》一书。他的荣誉包括电影技术与科学学院的两项奥斯卡金像奖，冯·诺依曼奖和2019年ACM图灵奖（与Pat Hanrahan共享）。
Whitfield Diffie曾是Sun Microsystems的首席安全官，并以1975年与Martin Hellman共同开发的公共密钥密码学概念而闻名。他是《Privacy on the Line》一书的合著者，该书探讨了政府限制私人使用密码的尝试。Diffie是伦敦皇家学会的会员，并与Martin Hellman共同获得了2015年ACM图灵奖。
Shafi Goldwasser是西蒙斯计算理论研究所所长，也是加州大学伯克利分校的计算机科学教授。她还是麻省理工学院的RSA电气工程和计算机科学教授，以及以色列的魏兹曼科学研究所的计算机科学和应用数学教授。她曾两次获得哥德尔奖，并以概率加密技术获得了2012年图灵奖（与Silvio Micali共享）。
Pat Hanrahan是斯坦福大学的佳能电气工程和计算机科学教授。他是皮克斯的创始员工，曾是RenderMan的首席架构师，RenderMan是为电影生成逼真图像的系统。他是Tableau Software的共同创始人，该公司开发了易于使用的分析工具，使人们可以使用数据做出明智的决策。他获得了三项奥斯卡科学技术奖。他开发的软件彻底改变了艺术家和导演制作电影的方式，他因此获得了2019年图灵奖（与Ed Catmull共同获得）。
Yann LeCun是Facebook的副总裁兼首席AI科学家，也是纽约大学Courant数学科学研究所的Silver教授。他还获得了法国荣誉勋章骑士勋章，并因“在概念和工程方面的突破，使深度神经网络成为计算的关键组成部分”，而获得了2018年图灵奖（与Geoffrey Hinton和Yoshua Bengio一起获得）。
斯坦福大学电气工程与计算机科学教授John Hennessy于2000年至2016年担任斯坦福大学校长。2017年，他发起了Knight-Hennessy Scholars Program，这是世界上最大的全额研究生学位奖学金计划，他目前担任程序主管。他是Atheros Communications的创始董事会主席，并曾在Cisco和Alphabet董事会任职。他是两本国际通用的计算机体系结构教科书的合著者（与David Patterson合着）。他为当今99％称为精简指令集计算机的计算机所使用的计算机设计做出的贡献让他获得了IEEE的2012年荣誉勋章和2017年的图灵奖（与David Patterson共同获得）。
加州大学伯克利分校计算机科学名誉教授David Patterson担任伯克利计算机科学系主席，计算机研究协会主席，ACM主席。他是七本书的合著者，其中包括两本国际使用的计算机体系结构教科书（与John Hennessy合著）。他的荣誉包括IEEE教育奖章，冯·诺依曼奖和2017年图灵奖（与John Hennessy共同获得）。他获得该奖项是由于对如今称为“精简指令集计算机”的99％的计算机所使用的计算机设计做出的贡献。
斯坦福大学电气工程系名誉教授Martin Hellman对技术开发的伦理学有着浓厚的兴趣，并就该主题进行了大量的写作和演讲。他以其公钥密码术的发明而闻名，这项技术可实现安全的Internet交易，每天可保护数以万亿计的金融交易。这项工作被入选国家发明家名人堂，并获得2015年图灵奖。
Michael Stonebraker是麻省理工学院的CS兼职教授。在1999年之前，他是加州大学伯克利分校的CS教授。他建立了几个有影响力的数据库系统，包括Ingres，Postgres，Vertica和SciDB。在他的职业生涯中，还创立了10家初创公司，以将其学术原型商业化。他因对现代数据库系统的基础概念和实践做出了重要贡献而获得2014年图灵奖。
微软研究院杰出科学家Leslie Lamport是一篇著名论文的作者，该论文被认为建立了分布式计算的理论。他发明了几种有影响力的并发和分布式算法，其中一种算法是大多数联网计算机系统中容错的基础。由于对分布式和并发系统的理论和实践做出了重要贡献，他获得了冯·诺依曼奖和2013年图灵奖。
Leslie Valiant是哈佛大学T. Jefferson Coolidge教授，教授计算机科学和应用数学。他是机器学习和人工智能理论的创始贡献者，他设计了并行计算的整体同步模型，发明了数据中心的随机通信方法，并开发了计算可行性固有局限性的基本理论。他是1986年国际数学联盟的内凡林纳奖和2010年图灵奖的获得者。
Barbara Liskov是麻省理工学院的研究所教授。她在编程语言，编程方法和分布式系统方面的工作得到了广泛认可。她在编程语言和方法论方面的工作导致了“Liskov替代原理、抽象”的发明，这些发明构成了当今计算机程序的设计和组织基础。她在分布式系统中的工作促成了复制技术（Byzantine fault、Paxos）的发明，该技术可确保即使出现故障和恶意攻击也能可靠地存储在线信息。她是两本有关软件设计的国际通用教科书的合著者。她获得了冯·诺依曼奖、IEEE先锋奖和2009年图灵奖。
Vinton Cerf是Google的副总裁。他曾担任互联网名称与数字地址分配机构（ICANN）董事会主席，并且一直是喷气推进实验室的客座科学家。Vinton与Robert Kahn是互联网体系结构的共同设计师，他们获得了美国国家技术勋章、总统自由勋章、日本奖、伊丽莎白女王工程奖和2007年图灵奖。他拥有29个荣誉学位。
Robert Tarjan是普林斯顿大学James S. McDonnell杰出大学计算机科学教授，也是Intertrust Technologies的高级研究员。他曾在康奈尔大学，伯克利大学，斯坦福大学和纽约大学担任学术职务，并在贝尔实验室，NEC，惠普和微软担任过工业研究职务。他发明了许多最有效的已知数据结构和图形算法。他因“对信息科学的数学方面的杰出贡献”而获得国际数学联盟的第一笔Nevanlinna奖，以及因“算法和数据结构设计和分析的根本成就”和John Hopcroft一起获得了2006年图灵奖。
Ronald Rivest是麻省理工学院研究所教授。他与RSA Lens Adleman和Adi Shamir共同发明了RSA公钥密码系统。他是RSA Security和Verisign的共同创始人。他曾在技术准则发展委员会（选举援助委员会的顾问）任职。他是最畅销的算法教科书的合著者，并且是美国国家发明家名人堂成员，马可尼奖和2005年图灵奖的获得者。
Alan Kay是计算机科学的先驱和设计师，他帮助发明了我们所熟知的计算技术。他的荣誉包括：德雷珀奖（与巴特勒·兰普森，查尔斯·特克尔和罗伯特·泰勒一起获得），以表彰他对第一台实用的联网个人计算机的设想，构想和开发；京都奖，以表彰他对现代个人计算机的概念及其对现代计算机的贡献。他获得2003年图灵奖是因为在当今面向对象的编程语言等方面开创了许多概念，并为个人计算做出了重要贡献，包括图形用户界面。
Manuel Blum出生于委内瑞拉的加拉加斯，其父母于1930年代逃离欧洲后定居于此。Blum在麻省理工学院开始了他的教学生涯，担任数学助理教授，并于1968年加入加州大学伯克利分校。他于2001年成为卡内基梅隆大学的布鲁斯·尼尔森大学计算机科学教授。他的35名博士生几乎遍及美国每个主要的计算机科学系。他因在计算复杂性理论的基础及其在密码学和程序检查（一种编写检查其工作的程序的数学方法）中的应用所做出的贡献而获得1995年图灵奖。
Raj Reddy是卡内基梅隆大学计算机科学学院的计算机科学与机器人学教授，Moza Bint Nasser主席，他曾担任机器人技术学院的创始主任和计算机科学学院的院长。他曾担任总统信息技术咨询委员会的联席主席，并已获得11名荣誉博士学位。他还获得了荣誉军团奖，莲花装勋章，本田奖，瓦内瓦尔·布什奖和1994年图灵奖（与Edward Feigenbaum共同获得）。“他率先设计和建造了大型人工智能系统，展示了实用人工智能技术的重要性和潜在的商业影响。”
Richard Stearns是纽约州立大学奥尔巴尼分校的名誉教授，曾任计算机科学系系主任。他获得了兰切斯特运筹学奖和1993年的图灵奖（与Juris Harmanis一起获奖），以表彰他们的开创性论文为计算复杂性理论领域奠定了基础。
Butler Lampson是微软研究技术研究员和麻省理工学院兼职教授，从事计算机系统和网络安全方面的研究。他是国家网络安全名人堂成员，也是皇家学会的外国会员。他的荣誉包括冯·诺依曼奖，德雷珀奖（与Alan Kay、Robert Taylor 和 Charles Thacker共同获得），以及1992年图灵奖，他获得该奖是因为在网络个人计算机、图形用户界面、以太网等方面的贡献。
Ivan Sutherland目前是波特兰州立大学的客座科学家。他曾任加州理工学院计算机科学系主任，曾在哈佛大学和犹他大学任教，曾是美国国防高级研究计划局（DARPA）信息处理技术办公室主任，并共同创立了Evans和Sutherland Computer Corporation。他被认为是交互式计算机图形学之父，并因此获得了1988年图灵奖。
John Hopcroft是康奈尔大学的名誉教授，曾任系主任和工程系主任。Hopcroft曾在众多咨询委员会任职，其中包括空军科学咨询委员会，美国宇航局太空科学委员会以及负责国家科学基金会的国家科学委员会。他关于计算和数据结构理论的教科书被视为其领域的标准。他拥有六所大学的荣誉学位，并因“在算法和数据结构的设计和分析方面的基本成就”而获得了1986年图灵奖（与Robert Tarjan共同获得）。
Richard Karp是加州大学伯克利分校的名誉大学教授，他是加州大学伯克利分校计算机科学系的第一任主席，也是西蒙斯计算理论研究所的创办人。他的荣誉包括伯克利杰出教学奖，国家科学奖章，哈维奖，本杰明·富兰克林奖章，京都奖和九个荣誉博士学位。他因创建众多组合算法和开发NP完整性降低的方法论（其将理论和实践问题识别为计算上的棘手问题）而获得1985年图灵奖。
斯坦福大学荣誉教授Donald Knuth是多卷著作《计算机编程的艺术》的作者，被称为算法分析之父。Knuth还是广泛使用的TeX计算机排版系统的创建者。他因在算法分析和编程语言设计方面的主要贡献，获得了1974年的图灵奖。
参考资料：
https://ift.tt/33Ct07Q
https://ift.tt/2ZOSjme
EMNLP 9月16日出录用结果了！点击阅读原文加入“EMNLP”小组！
扫描/长按识别下方二维码，加入学习交流群！
没有评论:
发表评论