1月10日，北京大學(xué)計(jì)算機(jī)學(xué)院在理科2號(hào)樓召開(kāi)教師大會(huì)，北京大學(xué)黨委常委、副校長(zhǎng)張平文院士，黨委組織部副部長(zhǎng)劉雨龍以及計(jì)算機(jī)學(xué)院部分教職工參加大會(huì)。劉雨龍宣讀了《關(guān)于成立中共北京大學(xué)計(jì)算機(jī)學(xué)院委員會(huì)的通知》，宣布了胡振江、熊校良和魏朋同志的任職決定，并對(duì)相關(guān)選拔任命工作進(jìn)行了說(shuō)明。

計(jì)算機(jī)學(xué)院院長(zhǎng)胡振江、黨委書(shū)記熊校良、副書(shū)記魏朋依次進(jìn)行任職發(fā)言，張平文副校長(zhǎng)最后做了總結(jié)講話。

胡振江進(jìn)行任職發(fā)言。他談到，計(jì)算機(jī)學(xué)院是加快推進(jìn)北大“新工科”建設(shè)的“特區(qū)”，將繼續(xù)致力于構(gòu)建國(guó)際一流的文化和氛圍，創(chuàng)造能夠吸引全球頂級(jí)學(xué)生求學(xué)、頂級(jí)學(xué)者入職的環(huán)境，建設(shè)處于世界一流前列的計(jì)算機(jī)學(xué)科。他從三個(gè)方面闡述計(jì)算機(jī)學(xué)院的發(fā)展藍(lán)圖：在教學(xué)方面，將持續(xù)提高本科核心課程的質(zhì)量，加強(qiáng)高水平的研究生教育；在科研方面，將踐行“基礎(chǔ)研究為撇，國(guó)家需求為捺”的“八”字工作方針，鼓勵(lì)開(kāi)展自由、多樣、有影響力的研究，鼓勵(lì)基本工具的開(kāi)發(fā)；在行政方面，將加快各項(xiàng)制度的制定與落地，全方位服務(wù)學(xué)院各項(xiàng)工作，推動(dòng)學(xué)院高效運(yùn)轉(zhuǎn)。

胡振江教授簡(jiǎn)介：

胡振江，北京大學(xué)講席教授。分別于1988年和1991年在上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系獲得學(xué)士和碩士學(xué)位，1996年在日本東京大學(xué)信息工學(xué)專業(yè)獲博士學(xué)位。曾擔(dān)任東京大學(xué)情報(bào)理工學(xué)研究科助理教授和副教授 (1997-2008)，日本國(guó)立信息學(xué)研究所教授/系主任 (2008-2019), 東京大學(xué)情報(bào)理工學(xué)研究科教授 (2018-2019), 是海外杰出青年科學(xué)基金獲得者。

胡振江教授長(zhǎng)期從事程序設(shè)計(jì)語(yǔ)言和軟件科學(xué)與工程的研究，在程序語(yǔ)言設(shè)計(jì)、結(jié)構(gòu)化函數(shù)式程序設(shè)計(jì)、程序的自動(dòng)綜合和優(yōu)化、并行程序設(shè)計(jì)、雙向變換語(yǔ)言的設(shè)計(jì)和實(shí)現(xiàn)、以及軟件的演化和維護(hù)等方面做出了很多開(kāi)創(chuàng)性工作并取得了突出的研究成果，曾獲全日本最佳博士論文獎(jiǎng)，日本軟件科學(xué)會(huì)基礎(chǔ)研究成就獎(jiǎng)，被評(píng)為21世紀(jì)先驅(qū)科學(xué)家(日本科學(xué)技術(shù)振興機(jī)構(gòu))，日本工學(xué)會(huì)會(huì)士(2016)，ACM杰出科學(xué)家(2016)，歐洲科學(xué)院院士(2019)，IEEE會(huì)士(2020)，日本工程院院士(2020)。

近年來(lái)，胡振江教授將研究重點(diǎn)放在程序演算及其在自動(dòng)并行化的應(yīng)用、雙向變換的語(yǔ)言設(shè)計(jì)、模型驅(qū)動(dòng)的軟件開(kāi)發(fā)，以及軟件求精過(guò)程的形式化上，取得了一系列突破，在POPL, PLDI, ICFP等程序語(yǔ)言的頂級(jí)國(guó)際會(huì)議以及ICSE，F(xiàn)SE等軟件工程的頂級(jí)國(guó)際會(huì)議上發(fā)表眾多成果。

胡振江教授擔(dān)任(或曾經(jīng)擔(dān)任)美國(guó)計(jì)算機(jī)協(xié)會(huì)ACM函數(shù)程序設(shè)計(jì)國(guó)際會(huì)議(ICFP)指導(dǎo)委員會(huì)委員主席，日本軟件科學(xué)會(huì)理事，國(guó)際信息處理聯(lián)盟IFIP TC 2 (Software: Theory and Practice) 日本分會(huì)代表，IFIP WG 2.1委員，亞洲軟件基礎(chǔ)學(xué)會(huì)(AAFS)指導(dǎo)委員會(huì)主席，NII湘南國(guó)際系列研討會(huì)學(xué)術(shù)委員會(huì)主席，以及IEEE Transactions on Software Engineering, Science of Computer Programming，國(guó)家科學(xué)評(píng)論，中國(guó)科學(xué)等學(xué)術(shù)雜志的編委。