胡振江院長、教授
胡振江,北京大學講席教授。分別于1988年和1991年在上海交通大學計算機科學與工程系獲得學士和碩士學位,1996年在日本東京大學信息工學專業獲博士學位。曾擔任東京大學情報理工學研究科助理教授和副教授(1997-2008),日本國立信息學研究所教授/系主任(2008-2019),東京大學情報理工學研究科教授(2018-2019), 是海外杰出青年科學基金獲得者。
胡振江教授長期從事程序設計語言和軟件科學與工程的研究,在程序語言設計、結構化函數式程序設計、程序的自動綜合和優化、并行程序設計、雙向變換語言的設計和實現、以及軟件的演化和維護等方面做出了很多開創性工作并取得了突出的研究成果,曾獲全日本最佳博士論文獎,日本軟件科學會基礎研究成就獎,被評為21世紀先驅科學家(日本科學技術振興機構),日本工學會會士(2016),ACM杰出科學家(2016),歐洲科學院院士(2019),IEEE會士(2020),日本工程院院士(2020)。
近年來,胡振江教授將研究重點放在程序演算及其在自動并行化的應用、雙向變換的語言設計、模型驅動的軟件開發,以及軟件求精過程的形式化上,取得了一系列突破,在POPL, PLDI, ICFP等程序語言的頂級國際會議以及ICSE,FSE等軟件工程的頂級國際會議上發表眾多成果。
胡振江教授擔任(或曾經擔任)美國計算機協會ACM函數程序設計國際會議(ICFP)指導委員會委員主席,日本軟件科學會理事,國際信息處理聯盟IFIP TC 2 (Software: Theory and Practice)日本分會代表,IFIP WG 2.1委員,亞洲軟件基礎學會(AAFS)指導委員會主席,NII湘南國際系列研討會學術委員會主席,以及IEEE Transactions on Software Engineering, Science of Computer Programming,國家科學評論,中國科學等學術雜志的編委。
以己所學 服務國家
——記北京大學計算機學院院長胡振江
2024-06-11
如今,軟件無處不在,軟件開發也成為當下最重要的行業之一。軟件開發離不開程序設計語言,它是開發者和計算機溝通的橋梁。“軟件定義一切”這個理念代表了一個抽象復雜性、駕馭復雜性的方法,已經擴展到社會生活的方方面面。隨著人機物融合的發展,計算的泛在化成為必然,泛在計算中不斷涌現出的新計算模式、新計算平臺和新的應用問題給程序設計語言的定義和實現帶來了新的挑戰。
▲胡振江
北京大學計算機學院教授胡振江長期從事程序設計語言和軟件科學與工程的研究,在程序語言設計、結構化函數式程序設計、程序的自動綜合和優化、并行程序設計、雙向變換語言的設計和實現及軟件的演化和維護等方面做出了很多開創性工作并取得了突出研究成果。負笈日本,胡振江在東京大學和日本國立信息學研究所學習、工作27年,2019年回國入職北京大學,成立程序設計語言研究室,擔任計算機學院首任院長。在北大自由氛圍中挑戰世界難題,胡振江的目標是,研究程序設計語言的實現、驗證及其支撐環境,創造“北大”理論,構建“北大”工具,在新的歷史節點上肩負起建設“新工科”的重任,引領和推動我國計算機學科向世界頂尖水平攀登。
引領學科發展
1966年,胡振江出生于素有“水陸要津,咽喉據郡”之稱的江蘇泰州。作為承南啟北的重要交通樞紐,這座安逸的江南城市并不缺乏與外界溝通的活力。少時接觸半導體收音機、電腦小游戲這些新鮮事物勾起了胡振江的好奇心,以至高考時,無線電和計算機專業成為他最想在志愿表中填報的兩個選項。
1984年從江蘇泰州中學畢業后,胡振江考入上海交通大學計算機科學與工程系,并在那里獲得學士和碩士學位。為開闊視野,收獲更多知識,胡振江決定赴日求學,師從日本程序語言界泰斗——武市正人教授,并于1996年在日本東京大學信息工學專業獲博士學位。隨后,便開啟了他在異國拼搏、奮斗的輝煌科研生涯。
在日本近30年,胡振江曾擔任東京大學情報理工學研究科助理教授和副教授,日本國立信息學研究所教授/系主任,東京大學情報理工學研究科教授。他在工作崗位上勤勉盡責;在科研道路上兢兢業業,正是這份鍥而不舍的精神,讓胡振江在程序設計語言和軟件科學與工程領域成就斐然,尤其是在函數式程序設計語言領域,胡振江所做的工作深受贊譽。針對長期存在的難題進行攻關,他不僅建立了一套創新的理論體系,引領了學科的發展,還將理論有效應用到多個不同領域。
函數式程序設計語言具有描述能力強、無副作用、易于并行化等良好性質。它從20世紀50年代開始發展,迄今已有近70年的歷史。進入21世紀以來,隨著摩爾定律的逐步失效和軟件開發需求的不斷增多,函數式語言因其表達能力強、十分接近自然語言、安全性能高等特點,在軟件開發中的作用變得越來越重要。然而,優缺點并存是事物的常態,函數式程序設計語言雖集眾多優點于一身,卻存在速度慢等缺點,它的應用與發展也因此受到了制約。
基于個人興趣,更是為了促進函數式程序設計語言未來更具實用性,胡振江向制約其發展的瓶頸問題發起挑戰,以期找到創新解決方案。
傳統函數式程序優化技術無法對程序進行算法級別的優化,其主要困難在于遞歸程序的分析難以在有限時間內完成。為解決此類問題,胡振江從聚態這一高階函數出發,提出只對結構化的遞歸程序進行變換的簡化方法,并給出了自動從遞歸程序抽取結構化信息的算法,這使得對遞歸程序的分析可以在有限時間內確定完成。基于這一發現,胡振江提出了融合、組合、聚集三大演算規則,率先系統性地將程序演化技術應用于程序的自動優化。這項成果被主流函數語言編譯器開發團隊采用并集成到主流編譯器中,如使用廣泛的Haskell編譯器GHC和由美國麻省理工學院開發的pH編譯器。
與此同時,胡振江還進一步將程序演算技術應用于函數式程序的并行化,回答了程序并行化的充要條件、推導算法等一系列基本問題,提出了全自動的程序并行化技術。相關成果曾被美國太陽微系統公司(Sun)選中作為高性能計算語言Fortress的并行標準庫,相關進展被日本新聞等媒體報道。
此后,為解決新型雙向變換語言的設計和實現大量的軟件開發任務中涉及的數據同步問題,基于在函數式語言領域已取得的研究成果,胡振江開拓思維,另辟蹊徑,提出利用雙向關聯的兩個變換程序對數據的修改進行同步,保證數據的一致性,并提出了雙向變換的概念和方法,形成了新的研究領域。作為雙向變換語言研究領域的奠基人之一,胡振江一直引領著相關領域的發展。
▲2019年在北大召開的第一屆北京大學-東京大學-NII的共同研討會上,胡振江(右二)與參會人員的合影
基于在程序語言研究領域開展的諸多工作及取得的突出成就,胡振江成為國際公認的函數式程序設計語言的領軍人物,他曾任美國計算機協會ACM函數程序設計國際會議(ICFP)指導委員會主席和ICFP2011大會主席,擔任軟件基礎研討會(AWFS)等20多個國際會議的程序委員會主席或組織者。除此,胡振江還一直致力于推動日本和亞洲地區的程序語言及計算機技術的發展。他發起的日本軟件科學會程序語言研討會(PPL)至今已經召開20屆,成為日本國內高級程序語言研討會。由他發起并一直擔任學術委員會主席的NII湘南國際系列研討會已經成為和德國達堡(Dagstuhl)并列的計算機界主要學術研討會之一。胡振江與中國科學院院士李未教授等人一起發起的亞洲地區程序語言旗艦會議等程序語言領域的重要會議,已成為亞洲基礎軟件領域的主要推動力量。
除了個人努力外,令胡振江感到欣慰的是,他的學生也在為相關領域的發展貢獻著智慧。回國前,作為日本東京大學情報理工學研究科首位外國人終身教授、日本國立信息學研究所首位外國人正教授,胡振江已是桃李滿天下,培養的學生多在亞太地區知名高校和研究所任教,他們已成為亞太地區程序語言研究的中堅力量。
愛國初心未改
1992年前往日本東京大學留學,2019年回國,在日本學習和工作的27年間,胡振江從未想過要改變國籍,因為他一直覺得自己一定會回來,畢竟科學沒有國界,但科學家卻有祖國。在東京大學,一個研究方向只能有一個正教授,但胡振江在成為正教授一年后就辭職回國,全職加入北京大學。“大家都說,我放棄了一個難得的名額,是東京大學歷史上最快辭職的教授,其實我本來還應該再早一點回來,但當時已經答應在日本國立信息學研究所擔任系主任了,就只能等到任期滿了之后再走。”胡振江坦言。
從20世紀90年代起,胡振江就一直保持著與國內高校的交流,每年都會參與組織中日學者的交流論壇,時時在關注祖國的發展和相關科研領域的研究進展。回國之后,他越發感受到,當用個人所學為國家真正解決問題時,那種讓人心潮澎湃的滿足感和自豪感是無論在國外發多少論文、拿多少獎項都無法比的。
回國后的胡振江很快投入科研工作中。對未來,他早有規劃:以北京大學計算機科學和技術重點學科為基礎,以北京大學軟件研究所和高可信軟件技術教育部重點實驗室為依托,針對高可信軟件開發的技術挑戰,以程序語言技術和軟件工程有機結合為突破口,他將開展創新研究、人才培養和團隊建設等工作。
▲作為北大圖靈班管理委員會主任,胡振江在畢業典禮上致辭
在創新研究方面,胡振江將開展以程序設計語言為主要支撐的軟件可信性研究,并在現有研究成果基礎上,進行3方面探索:首先,進一步深入研究基于逆向映射的雙向變換理論,定義既安全可靠又適用于大規模復雜數據處理的高級雙向語言,研究雙向計算的優化策略和高效實現方法。其次,將雙向變換理論和方法從程序設計語言級別擴展到軟件不同階段的模型上,解決不同階段模型的雙向變換問題,從而確保需求驅動的軟件可信性。最后,實現基于雙向模型變換的軟件開發環境,通過將雙向變換無縫地應用到軟件開發的不同層次,實現不同階段的正向和逆向的映射及軟件開發的全階段追蹤,通過自適應軟件開發的應用對開發環境的實用性進行評價。
在人才培養方面,胡振江將指導或合作指導博士后、博士生和碩士生進行程序推導、程序優化、程序變換及軟件自動生成方面的研究,深入開展程序語言的理論和雙向變換技術的研究,將相應的理論和技術應用于軟件工程領域以確保軟件可信性,使高可信軟件技術教育部重點實驗室在程序語言的設計和實現等軟件基礎理論方面有突破性發展;同時他還將開設與程序語言設計及程序設計方法學相關的基礎課程或集中講座,介紹程序語言的形式化定義方法、實現原理及特定領域語言的實現技術,以加強北京大學計算機科學理論學科方向的力量。
在團隊建設方面,胡振江將致力于促進高可信軟件技術教育部重點實驗室在程序設計語言和程序自動化設計理論方面的戰略性研究,建立以程序語言研究為基礎、以軟件工程研究為應用、以高可信軟件的設計自動化研究為目標的創新團隊。
未與家人一同回國,與他們分居兩地的胡振江將全身心投入工作中。在他看來,做基礎研究,不能急于求成,需要時間和耐心,國家對基礎科學研究的重視度的加大和投入經費的增加,為胡振江工作的開展提供了良好環境;而北大年輕學子對相關科研學科的興趣和熱情,更是胡振江積極工作的直接動力。
回國后的胡振江比在國外忙,但他喜歡這種狀態。“科研就是與時間賽跑,我是中國人,是中國的科研人員,我有責任讓中國的程序設計語言研究做得更好。”為了這份使命,胡振江一直馬不停蹄。
推進“新工科”建設
新一輪科技革命和產業變革將同人類社會發展形成歷史性交匯,工程科技進步和創新將成為推動人類社會發展的重要引擎。新工科建設既是中國應對經濟挑戰,從服務國家戰略、滿足產業需求和面向未來發展的高度提出的戰略行動;也是推動世界科技進步、促進國際社會發展進而構建人類命運共同體的關鍵動能。
▲胡振江與在計算機學院獲得博士學位的留學生合影
北京大學“十四五”規劃中明確提出把全力支持“新工科”建設作為完善學校創新體系的重要內容,力爭通過“十四五”時期的發展,為實現覆蓋前沿學術研究、關鍵技術攻關、國家重大工程的“新工科”人才培養作出積極貢獻。
計算機學院在此背景下應運而生。作為學院的首任院長,在進行任職發言時,胡振江談到,計算機學院是加快推進北大“新工科”建設的“特區”,將繼續致力于構建國際一流的文化和氛圍,創造能夠吸引全球頂級學生求學、頂級學者入職的環境,建設處于世界一流前列的計算機學科。他更從3方面闡述計算機學院的發展藍圖:在教學方面,將持續提高本科核心課程的質量,加強高水平的研究生教育;在科研方面,將踐行“基礎研究為撇,國家需求為捺”的“八”字工作方針,鼓勵開展自由、多樣、有影響力的研究,鼓勵基本工具的開發;在行政方面,將加快各項制度的制定與落地,全方位服務學院各項工作,推動學院高效運轉。
胡振江坦言,北大是全世界最好的綜合性大學之一,擁有“文、理、醫、工”等齊全的學科門類,具備學科交叉融合得天獨厚的優勢,計算藝術、計算管理、計算化學、計算生物等學科在北大這片土壤上應運而生。目前,越來越多的學科使用計算機來助力學科發展,越來越多擁有計算思維的交叉學科人才被培養出來,在北大這片沃土上,計算機學科定能繼續與其他學科碰撞出絢爛的火花。
同時胡振江也認識到,雖然近年來我國的計算機技術取得飛速發展,但關鍵核心技術受制于人的局面沒有得到根本性改變。如今,世界正在進入以信息產業為主導的經濟發展時期,科技創新已經成為國際戰略博弈的主要戰場。面對新的機遇和挑戰,他認為大學之根本就是教書育人。于是在計算機學院成立大會上,他就提出了“立德樹人,教學第一”的理念。
落實到行動中,在“雙一流”放權改革中,胡振江帶領計算機學院向學校提出了“3000人才培養高地”計劃,以期全面提升本科生、研究生和計算機+雙學位學生的教育水平。在支持本科教育上,在學校的大力支持下,計算機學院與教師教學發展中心一起作為牽頭單位推動教育部提出的“101計劃”,舉全國之力促進計算機學科改革,以期在計算機領域建設一批一流核心課程,開發一批一流核心教材,建設一支高水平核心師資團隊,建設一批核心實踐項目,探索計算機領域高質量人才培養的新模式。
同時,計算機學院還將繼續與前沿中心、信息學院共同做好圖靈班人才培養。開設于2017年的圖靈班,匯聚了國內外頂尖師資與優質生源,站在世界計算機領域的前沿,精心打造深具北大特色的新工科創新人才培養體系。胡振江希望圖靈班在課程體系改革與科研培訓等多個方面創新試點取得的成果和總結的經驗能夠逐步推廣,為國家培養計算機領域未來的領軍人才。
此外,胡振江還帶領學院建立了“卓越留學生”計劃,設立全英文課程,吸引世界頂級的留學生來北大求學。據胡振江介紹,計算機學院不僅是教學單位,還是科研單位,需要大量的實驗和展示場地,學院想要發展,就需要更多的學生和更大的科研場地。2021年9月,隨著第一批計算機系新生入住新校區,計算機學院擁有了更大的科研空間和更為安靜的科研環境。以新校區賦能“新工科”,計算機學院的目標是在昌平打造中國新“硅谷”。
“2021年10月24日,計算機學院成立儀式舉行。1024是2的10次方,是計算機世界里二進制計數的一個計量單位,選擇在這一天舉行學院成立儀式是一份獨屬計算機人的浪漫。我們要吸引世界頂級的學生來求學,吸引世界頂級的學者來求職。到2030年,北大計算機學科要進入世界前十,這不是通過排名來衡量的,而是看同行對我們的認可度。我們不僅要把我們的學生送去美國斯坦福大學等世界頂級高校,更要吸引他們的學生來北大計算機學院深造。”談起未來,胡振江信心滿懷。
“面向世界科技前沿、面向經濟主戰場、面向國家重大需求、面向人民生命健康,不斷向科學技術廣度和深度進軍。”胡振江認為習近平總書記在科學家座談會上提到的“四個面向”應該是所有計算機人做科研的基本信仰。“60多年前,北京大學計算機學科在國家需求的呼喚下應運而生,在我國努力實現高水平科技自立自強、實現中華民族偉大復興的今天,計算機學院將傳承并發揚老一輩計算機人的精神,竭盡全力建設國際化一流研究環境,面向國家需要、面向世界前沿,取得良好的教學效果和突破性的研究成果,在計算機領域成為領跑者,在新興前沿交叉領域成為開拓者,為建設世界科技強國貢獻北大力量!”站在計算機學院這一全新的起點上,胡振江對學院發展有著自己的期待。
來源:科學中國人 2024年第5期創新之路