中國的“圖靈之路”

10月13日，在首屆中國理論計算機科學人才培養研討會上，20位理論計算機科學的國際知名學者，包括美國國家科學院院士4名、美國國家工程院院士1名、美國人文科學院院士2名、奈望林納獎(Nevanlinna Prize)得主2名集體亮相，他們是清華大學理論計算機科學的第二期講席教授團組。他們齊聚清華園共同探討如何培養中國的理論計算機科學的頂尖人才，并與清華學生進行了面對面的交流和探討。

僅僅在6年前，清華大學的理論計算機科學還是一片空白，而今，國際知名教授齊聚理論計算機科學講席教授團組，清華大學成為這一領域的研究重地。

理論計算機科學在清華從無到有

講席教授團組是清華大學為創建一流大學推行的改革創新之舉。2002年，清華大學計算機系的張鈸院士和時任系主任的周立柱教授向學校提出，希望通過清華大學講席教授團組的方式引進國際知名的理論計算機科學學者，給計算機科學的研究帶來新的動力。張院士和周教授計劃邀請姚期智先生、國際計算機界最高獎項“圖靈獎”獲得者，美國普林斯頓大學威廉及愛娜麥克里工程及應用科學講座教授，回國創辦這個講席教授組成員來到清華。姚期智先生進而邀請了堵丁柱、蔡進一、姜濤、葛可一等10位旅美華人科學家，組建了清華大學理論計算機科學的首期講席教授團組，這里面幾乎囊括了所有海外華裔中最為出色的理論計算機科學家。

由于當時的理論計算機科學在中國的研究基本上是空白，姚期智等講席教授團組成員為啟動這一領域的研究傾注了大量的心血。他們每人利用每年到清華至少工作一個月的時間，為同學們開設了《算法分析與設計》和《計算理論導論》兩門課程。為了實現因材施教，這10位教授與10余名學生雙向選擇，每人固定指導1～2位博士生。通過派學生出國到導師所在學校或研究機構學習、講席教授每年到清華講課，以及平時的電話和網上溝通對學生進行具體的指導。

2004年，在楊振寧先生誠摯的邀請和清華校方的努力下，姚期智先生毅然地辭去了普林斯頓大學的終身教職，來到清華大學做全職教授，開始在清華探索中國的“圖靈之路”。這個決定和行動意味著清華的理論計算機科學發展獲得了一個前所未有的開創性局面。

2006年姚先生創建清華大學軟件科學實驗班，借鑒國外計算機教育的先進方法，結合世界上最優秀的軟件研究院之一——微軟亞洲研究院資深專家的實踐經驗，致力于從根的推動力。“我被姚先生離開普林斯頓大學全職到清華工作的決心所深深打動了。同時我認為，我們有能力幫助國內的大學在理論計算機科學方面有所突破，而這所大學，我想最好的選擇就是清華了。我有機會和姚先生旗下的兩位博士研究生進行了非常緊密的合作。我認為，他們是我從事這個領域的研究2。年以來遇到的最好的學生。”首期講席教授團組成員。美國康斯威星大學教授蔡進一說。

2006：首期的收獲之年

2006年底，首期講席教授團組聘期結束。

同樣是在2006年，姚期智領導的理論計算機科學研究團隊有3篇論文入選理論計算機科學領域最頂級學術會議FOCS，不僅實現了國內學者在該會議上零的突破，入選篇數甚至超過了美國計算機科學領域的超一流大學加州大學伯克利分校。2006年，姚期智領導的團隊還為國內計算機學者填補了在《美國科學院院刊》上發文的空白。

2005級博士生陸品燕的研究尤為突出。他先后在理論計算機界的最高會議STOC和FOCS，計算復雜性理論的最高會議CCC，算法設計方向的最高會議SODA等發表了論文，并在歐洲理論計算機重要會議ICALP 2007上發表一篇有關全息算法(Holographic Algorithm)的論文，該論文解決了該領域的一個基礎性難題，并獲得歐洲理論計算機協會頒發的最佳論文獎(BestPaper Award)，這也是該獎項首次頒給華人學者。

截至目前，陸品燕在博士階段已經在國際上發表的14篇學術論文中，有11篇是在講席教授團組的指導下完成的。陸品燕非常喜歡在姚期智領導的這個團隊里面進行科學研究，他說：“不同的教授對于同一個學術問題會有不同的理解，研究的思路也是很不同的，在這樣的研究團隊中，我會接觸到很多不同的研究方式，并且慢慢形成自己的思路。此外，在眾多研究風格不同的講席教授團組成員當中，學生總可以根據自己的興趣和喜好找到一位作為自己近期研究的指導教師，這也是講席教授團組的一個很大的好處。”

2008年暑假，陸品燕又一次到美國威斯康星大學與蔡進一教授共同進行研究，這是他第三次到威斯康星大學。他這樣形容這種合作的研究狀態：“跟蔡老師在一起，你不會覺得自己是一個學生，更多的是覺得彼此就是科學道路上的合作伙伴，我們的很多思路和結果都是在這樣的思維碰撞中產生的。”

首期講席教授團組雖然已經結束，但他們大多還和清華理論計算機研究中心(以下簡稱“中心”)保持著緊密的聯系，共同進行人才培養和科學研究。

在首期講席教授團組結束后，美國紐約州立大學石溪分校教授葛可一在美國取得進修假，2007年，他在中心工作訪問一年，除了開設一門研究生課程外，還主持每周的以英語演說的論文研讀課，并繼續和清華研究生共同合作進行研究；美國明尼蘇達大學教授堵丁柱現在還和中心聯合培養博士研究生，每年定期訪問中心2個月以上，中心的博士生馬長存現正在堵丁柱那里進行學術交流訪問，剛剛畢業的博士生程永席也將到堵丁柱那里做博士后的研究；美國加利福尼亞大學教授姜濤正在繼續指導中心的博士生肖晶進行博士論文的研究等等。

“姚先生領導的清華理論計算組的學生以及其他幾位講席教授團組的教授都完全熱心地投入研究工作。姚先生為大家提供了非常好的工作環境，包括研究室，國外訪客等，即使是美國一流大學的計算機系也往往難以具備如此理想的環境。”葛可一說。

二期：國際一流學者紛至麾下

第二期講席教授團組于2008年1月正式成立。這20名國際知名的學者中，有的跟姚先生相識多年，有的在學術上跟姚先生保持著密切的交流，而其中的絕大部分，更是在近年實地訪問過中心，進而被姚先生領導的科研團隊的學術實力和學術氛圍所吸引。

10月13日，在清華大學理論計算機科學人才培養研討會的首場學術報告中，美國國家科學院院士，加州大學圣地亞哥分校首席科學家Ronald Graham做了題為“斯坦納樹”的學術報告。學術報告的最后，他還展示了一張具有特殊意義的照片——時任國家主席的江澤民在一次接見中與他握手。軟件科學實驗班2006級學生朱晨光向Ronald Graham教授提問，他在做了初步的回答之后告訴學生：“茶歇的時候請你來找我，我會繼續和你討論這個問題。”

談起為什么要加入姚期智先生領導的清華理論計算機科學講席教授團組，他說：“我和姚先生相識已久。姚先生在清華的出色工作已經顯示了他的卓越能力，并且，他的決心讓人敬佩。此外，清華學生具有的聰明才智也是我加入這個團隊的重要原因。我正在嘗試以我自己的能力去幫助他。”

講席教授團組成員、普林斯頓高等研究院教授Avi Wigderson已經是第三次到訪清華了。談到此次研討會，這位奈望林納獎(Nevanlinna Prize)得主說，理論計算機領域如此眾多的一流學者聚在一起是一個很特別、很難得的機會，學生可以從中學到很多，受益匪淺。

加州大學伯克利分校的Luca Trevisan教授說：“我2006年首次來到清華大學，在與姚先生和他的學生接觸中，姚先生的科研態度和清華學生的優秀才能給我留下了深刻的印象，這也是我為什么后來加入姚先生領導的講席教授團組的重要原因。目前，我正在給2008級博士生喬友明以科研上的指導。”Luca Trevisan教授說，“希望我與姚先生帶領的科研團隊的合作，能夠促進加州大學伯克利分校與清華大學計算機領域學生的交流與合作。”

目前，第二屆講席教授團組教授的課程構架，以及以“一對一”的形式進行博士生的指導等工作正在進行中。在運作形式上體現為：既要求講席教授團組成員每年有固定的時間段來清華訪問，也保證博士生在就學期間有機會出國出境進行學術訪問，麻省理工學院、普林斯頓大學都成為學生的目的地。

2006級博士生張家琳在2008年2月～5月訪問了布朗大學，與Maurice Herlihy教授一起就分布式計算這個領域進行了研究。“Maurice Herlihy教授在學術上對學生要求很嚴格，但是為人非常和藹可親。由于他也主要從事分布式計算這方面的研究工作，所以他能夠給我很具體的指導。”張家琳說。借中國理論計算機科學人才培養研討會之機，Maurice Herlihy教授這次將在中心和張家琳繼續進行學術研究工作。

結語

以講席教授團組的形式，借助全世界最為杰出的理論計算機科學學者的力量為清華和中國培養理論計算機科學杰出人才的這種模式，已經取得了顯著的成效。經過4年的努力，目前，清華大學理論計算機科學從本科生到研究生乃至博士后已經形成了一條完整的培養線，成為國際上知名的理論計算機科學中心。2007年全年，清華大學理論計算機科學研究中心在國際期刊或者是國際會議上發表論文31篇，其中16篇是在頂級會議或者是知名期刊上發表的。

在中心所在地，清華大學信息科學技術大樓的4區6層，經常會有來自世界各地的知名學者來訪，其中有數位“圖靈獎”獲得者，還有來自世界各地的學者做博士后。這一切都告訴人們，這里已經成為理論計算機科學一個國際上的要地。