4
今年8月，雷鋒網將在深圳舉辦盛況空前的“全球人工智能與機器人峰會”（CCF-GAIR），屆時雷鋒網將發布“人工智能&機器人Top25創新企業榜”榜單。目前，我們正在逐一拜訪人工智能、機器人領域的相關公司，從中篩選最終入選榜單的公司名單。如果你也想加入我們的榜單之中，請聯系：2020@leiphone.com。
不管你是不是程序員，你都一定學過或者聽過C、Java以及PHP這樣的語言。
沒錯，它們是最受程序員歡迎的編程語言。
但有一個人或許將改變這一格局，這個人就是耶魯大學的終身正教授、FLINT實驗室主任——邵中，他是編程語言學術界名聲最旺的華人，計算機程序語言設計領域的國際權威。
不過，如果你認為邵中只是一個技藝超群的碼農，那你就輸了！更準確的說他是程序語言標準的制定者，其研發的SML/NJ已經成為了SML語言最流行的編譯器。
邵中（右）
他和代碼之間的淵源還要從小時候說起！
邵中是1968年出生的，小時候的他就展現出了超強的學習能力，讀小學開始做中學的題，中學看大學的課本。
就是這樣的節奏，讓邵中在15歲的時候就從江蘇常熟中學考入了中科大少年班，他學的是計算機科學專業。
中科大少年班學員
面對來自全國各地的天才少年們，邵中對自己的要求就更高了。大學幾年他幾乎把所有能看的程序語言類的書籍看了個遍，當你還只會寫“Hello World”的時候，人家已經掌握了各種復雜程序的原理，于是他又成為了那一屆少年班最優秀的畢業生之一，并且順手拿了個中科大郭沫若獎學金。
把編程技術練到了極致后，邵忠覺得做一個普通的程序員太沒意思了！
所以，1988年從中科大畢業之后，邵中又來到了美國普林斯頓大學留學，1991年獲得了該校的計算機科學碩士學位，接著在1994年拿到了博士學位。
你以為邵中不遠萬里來到美國就是為了拿兩個學位證，圖樣...
在普林斯頓大學期間，他跟著導師就在貝爾實驗室計算機科學研究中心做項目，當時他在為SML語言（Standard ML）研發一個編譯器。
沒聽過SML是什么的程序員，趕緊面壁思過去。（前方高能，非程序員請系好安全帶?。?/p>
做個小科普，程序語言其實可以分為三大類：第一種是命令式的語言，如C，C++，Java等；第二種是邏輯式的語言，如Prolog；而第三種就是本認為更符合人類思維的函數式語言，如約翰·麥卡錫(John McCarthy)發明的LISP和ML（SML是其中的一個分支）。
懂編程的朋友都知道，函數式語言比傳統的編程語言更加高深，它是一種非馮·諾依曼式的程序設計語言，它的代碼更簡潔也更容易理解，而且適合多線程編程。
例如在人工智能領域，需要處理非常復雜的數據結構，函數式語言的優勢就非常明顯。
但是，這種語言也有一個非常致命的缺點，就是執行效率非常低，所以函數式語言基本上只活躍在學術界，很少有商業化的。
不過邵中還是沒有放棄，他希望開發一款高效的編譯器來解決這個問題。
博士畢業后，邵中來到了位于康涅狄格州紐黑文市的耶魯大學，這位偏執的年輕人在擔任學校計算機科學系的助理教授的同時，還在為那款編譯器而奮斗著。
所以，除了每天輔導學生之外，他經常到貝爾實驗室計算機科學研究中心做一些有關SML/NJ（Standard ML of New Jersey）的設計。
雖然過程很坎坷，但最終邵中和其他幾位研究人員還是成功研發出了SML語言最著名的編譯器——SML/NJ，并且獲得了美國國家科學基金青年學者獎。
這一發明讓邵中的編譯風格成為編程語言學術研究的典范，同時也奠定了其在編程語言界的地位，現在C++和Java什么的都開始對函數式編程提供專門語法支持。
然而故事還沒有結束！
不久之后，邵中又在FLINT上的研發取得了突破，讓類型檢查可以在編譯的任何階段進行。
這樣的研究成果讓耶魯大學折服了，
2000年，成為計算機科學系副教授；
2001年，被選舉為ACM SIGPLAN執行委員會委員；
2003年，被提拔為為正教授；
2008年，成為中科大-耶魯大學可信軟件聯合研究中心主任；
現在邵中還是耶魯大學的FLINT實驗組的主任，研究的方向包括形式化方法開發可信的kernel、 新型編程語言、并發多核軟件、自動定理證明系統等等。
不懂沒關系，看看邵中拿的研究經費你就知道他研究的項目有多牛X！
在美國二十幾年，邵中從美國國家科學基金會（NSF）、美國國防部、微軟以及英特爾等手中拿到的研究經費就達到了數千萬美元，其中去年一年就有八百多萬美元，別人拿獎拿到手軟，他是拿經費拿到手軟。
不過在編程學術界，不發表幾篇像樣的論文做再多研究也是枉然。
邵中是一個寫論文的好手，從本科畢業到現在他一共發表了七十多篇論文，其中在POPL上發表的就有五篇，例如2006年發表的《嵌入式匯編程序設計》以及2012年發表的《靜態和用戶可擴展的驗證檢查》。
這是什么樣的概念呢？...拿中國舉個例子，中國大陸學術界以第一作者的身份在POPL上發表過論文的只有一個，而且這篇論文還是出自邵中領導的中科大－耶魯聯合中心。（POPL是編程語言領域歷史最久、水平最高的國際會議，論文錄用率平均不到20%）
當然，邵中還是個社交能力很強的學術專家，他經常會在全球這頂級大會上（如POPL、PLDI和ICFP等）和全球各地的專家交流，其中2012年第39屆POPL大會就是他主持的！
看完這些你還敢說自己是個程序員嗎？
如果你想和這位編程語言界的大牛探討有關人工智能領域的程序設計，那就趕快報名參加8月份的CCF-GAIR大會吧，你可能在現場偶遇他哦！
One More Thing！在7月1日前購票，就可以享受跳樓價——六折?。ㄙ徠泵痛?a target="_blank">這里）
雷峰網原創文章，未經授權禁止轉載。詳情見轉載須知。
