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