川普「請」下課！為了科學，24名圖靈獎得主聯名支持拜登

作者 | 青暮

編輯 | 陳大鑫

現任美國總統川普的諸多政策，曾屢次引發科學界的反感。近日，一份由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://int.nyt.com/data/documenttools/the-statement-from-the-turing-award-winners-on-their-biden-endorsement/c0b01c987a946137/full.pdf

據紐約時報報導，這些科學家支持拜登的理由是擔心川普的移民政策損害美國技術的進步。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位圖靈獎得主

以下介紹了聯名籤署文件的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://www.nytimes.com/2020/09/18/us/elections/24-turing-award-winners-worried-trumps-immigration-policy-is-harming-technological-progress-endorse-biden.html/?2020-09-18T16%3A48%3A59%2000%3A00

https://www.nytimes.com/2020/09/18/technology/turing-scientists-endorse-biden.html