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

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

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

胡振江教授簡介：

胡振江，北京大學(xué)講席教授。分別于1988年和1991年在上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系獲得學(xué)士和碩士學(xué)位，1996年在日本東京大學(xué)信息工學(xué)專業(yè)獲博士學(xué)位。曾擔(dān)任東京大學(xué)情報(bào)理工學(xué)研究科助理教授和副教授 (1997-2008)，日本國立信息學(xué)研究所教授/系主任 (2008-2019), 東京大學(xué)情報(bào)理工學(xué)研究科教授 (2018-2019), 是海外杰出青年科學(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é)會基礎(chǔ)研究成就獎(jiǎng)，被評為21世紀(jì)先驅(qū)科學(xué)家(日本科學(xué)技術(shù)振興機(jī)構(gòu))，日本工學(xué)會會士(2016)，ACM杰出科學(xué)家(2016)，歐洲科學(xué)院院士(2019)，IEEE會士(2020)，日本工程院院士(2020)。

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

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