近日,歐洲科學院(Acadamia Europaea)發(fā)布2019年新增院士名單,三位中國科學家當選為歐洲科學院外籍院士。
北京大學胡振江教授

胡振江,北京大學講座教授。分別于1988年和1991年在上海交通大學計算機科學與工程系獲得學士和碩士學位,1996年在日本東京大學信息工學專業(yè)獲博士學位。曾擔任東京大學情報理工學研究科擔任助理教授和副教授 (1997-2008),日本國立信息學研究所任教授/系主任 (2008-2019), 東京大學情報理工學研究科擔任教授 (2018-2019), 北京大學長江講座教授 (2015-2018), 是海外杰出青年科學基金獲得者。
胡振江教授長期從事程序設計語言和軟件科學與工程的研究,在程序語言設計、結(jié)構(gòu)化函數(shù)式程序設計、程序的自動綜合和優(yōu)化、并行程序設計、雙向變換語言的設計和實現(xiàn)、以及軟件的演化和維護等方面做出了很多開創(chuàng)性工作并取得了突出的研究成果,曾獲全日本最佳博士論文獎,日本軟件科學會基礎研究成就獎,被評為21世紀先驅(qū)科學家(日本科學技術振興機構(gòu)),日本工學會會士。
近年來,胡振江教授將研究重點放在程序演算及其在自動并行化的應用、雙向變換的語言計、模型驅(qū)動的軟件開發(fā),以及軟件求精過程的形式化上,取得了一系列突破,在POPL, PLDI, ICFP等程序語言的頂級國際會議以及ICSE,F(xiàn)SE等軟件工程的頂級國際會議上發(fā)表眾多成果。
胡振江教授擔任(或曾經(jīng)擔任)美國計算機協(xié)會ACM函數(shù)程序設計國際會議(ICFP)指導委員會委員主席,日本軟件科學會理事,國際信息處理聯(lián)盟IFIP TC 2 (Software: Theory and Practice) 日本分會代表,IFIP WG 2.1委員,亞洲軟件基礎學會(AAFS)指導委員會主席,NII湘南國際系列研討會學術委員會主席,以及IEEE Transactions on Software Engineering, Science of Computer Programming,國家科學評論,中國科學等學術雜志的編委。
中國科學院自化研究所蔣田仔研究員
