Berkeley的CS為什麽這麽牛
1966年史無前例的無產階級文化大革命開始了。同年夏天,大洋彼岸的Stephen Cook,數理邏輯的泰鬥王浩的高徒,哈佛大學博士畢業了。Cook來到了西海岸的Berkeley。Berkeley,又名伯克利共和國,是嬉皮, 反戰,反傳統文化,造反有理的烏托邦, 也是數學高僧雲集的麥珈,Cook成了Berkeley這個數學神殿的掃地僧。
19世紀初21歲的數學天才伽羅瓦為情決鬥,在生命結束的前夜,他把成果以簡煉、跳躍的思維寫在草稿。可惜的是高斯、柯西、傅立葉、拉格朗日、泊鬆、……沒有一個看懂,精美絕倫的現代數學遲了十幾年才誕生。Cook和伽羅瓦同病相憐, 孤傲,儒雅的數學高僧也隻是用眼角看理論物理,更不知道怎麽評理論計算機,三年的教授資格中考Cook被掃地出門。
Cook比伽羅瓦運氣好,在離開Berkeley一年後,他發表了震古爍今的計算複雜性的論文,Cook開創了計算機理論新紀元。1982年Cook被授予計算機界的炸藥獎--圖靈獎,這是Berkeley CS的第一冤案。
吃一塹,長一智,1973年Berkeley的計算機和電機係強強聯手,成立了王者之師--EECS係。同年EECS係裏風華正茂的Dick Karp 根據Cook的結果發表了重磅雄文,為計算機界的同仁撥開雲霧見天日,1986年Karp獲圖靈獎。
1978年光明日報發表了《實踐是檢驗真理的唯一標準》的評論,國人還在討論著“白貓,黑貓”的哲學問題。此時的Berkeley 迎來了計算機發展的黃金時期,Berkeley在操作係統,計算機結構,數據庫,數據結構和算法,密碼學,超大規模集成電路(VLSI),存儲,人工智能等等展開了全方位產學研究,有七個課題陸陸續續獲圖靈獎。 正如斯坦福大學計算機教授John Ousterhout 所說的:“如果以圖靈獎作為標準,可以說計算機研究的夢之隊是20世紀70年代和80年代加州大學的Berkeley"【1】。
Berkeley的CS在圖靈係列講座中驕傲地說:所有圖靈獎獲得者與Berkeley過去或現在的教授或與校友合作過【1】。教學相長也,在英才培養方麵,Berkeley本科畢業有六人獲圖靈獎,全球第一, Berkeley學士或博士畢業共11人獲圖靈獎,全球第一【2】。
地中海的氣候是宜人的,地球上隻有2%的土地享有地中海的氣候,上帝把這稀有資源也分給了加利福尼亞。Berkeley的烏托邦門想改變一切, they have the unstopple drive to build new things。然而,在當時的計算機世界裏他們卻是聖經裏大衛和歌利亞角鬥中的大衛。大衛的機會來自東岸的延安--貝爾實驗室。
70年代IBM壟斷著商用計算機的市場,計算機設計,操作係統等商業機密都在IBM內部發行的紅寶書中。貝爾實驗室為小型機發明了Unix操作係統。Berkeley獲得Unix開發權,從此拿到了和上帝對話的鑰匙, 開創了open source的先河。
良好的氣候,捷足的先登,優良的傳統,開放的平台,源源不斷的人才,近水樓台的矽穀, 引無數英雄競折腰,Unix發明人之一 Thompson到Berkeley助他們一臂。天時,地利,人靈推動了Berkeley Unix 的成功, 它成了學校,政府,研究所的首選。開發Unix前,Berkeley CS是學術界第一集團的跟班,在前麵是Stanford, MIT, CMU, 甚至Cornell。Berkeley 的Unix 使Berkeley成為業界的領跑者【4】。成也蕭何,敗也蕭何,Berkeley的成功引來了貝爾實驗室的官司,這給爹不親娘不愛的Linux成了今日網紅的機會。
Berkeley的青年才俊有銳不可當,見佛殺佛的勇氣,計算機這種應用型學科需要的正是這種銳氣。他們不僅在學術上摧城拔寨,在工業界扮演著領軍的角色, 如Bill Joy和和喬老爺共創蘋果的Wozniak【3】。幾度風雨幾度秋,在過去的幾十年,信息革命的浪潮一浪高過一浪,半導體,小型機,個人電腦,互聯網,電商,移動,社交媒體,大數據,人工智能,..., 我們時時刻刻都能看到從Berkeley 走出來的 RISC(圖靈), BSD, RAID(百億級商業, 下一個圖靈), Ingres(圖靈), ...和新晉大數據平台的霸主Spark。
50年一個輪回,Cook離開Berkeley已一個輪回了,他的兒子James最近在加州大學Berkeley拿到了計算機科學的哲學博士。