胡振江,男,1966年3月出生,博士畢業于日本東京大學信息工學專業,北京大學講席教授、計算機學院院長。
胡振江從1997開始先后擔任東京大學情報理工學研究科助理教授和副教授。2008年-2019年,其擔任日本國立信息學研究所教授、系主任。期間,胡振江兼任東京大學情報理工學研究科教授,他是海外杰出青年科學基金獲得者。2019年4月,胡振江出任了北京大學教授。同年6月27日,胡振江當選為歐洲科學院外籍院士。次年,其當選為日本工程院院士。2022年1月10日,胡振江擔任北京大學計算機學院首任院長。胡振江長期從事程序設計語言和軟件科學與工程的研究。
胡振江曾獲得全日本最佳博士論文獎,日本軟件科學會基礎研究成就獎,被評為21世紀先驅科學家等。
人物經歷
早年經歷
1966年3月,胡振江出生。1984年,其畢業于江蘇省泰州中學。隨后于1988年和1991年在上海交通大學計算機科學與工程系獲得學士和碩士學位。1996年,胡振江在日本東京大學信息工學專業獲得博士學位。
工作經歷
1996年4月至12月,胡振江擔任日本東京大學的JSPS研究員。自1997年1月開始,胡振江擔任東京大學的助理教授,直至2000年6月。2000年7月起,胡振江被提升為東京大學的副教授。2008年4月,胡振江出任了日本國立信息學研究所的教授。2016年,當選為日本工學會會士。2017年4月,胡振江擔任了日本國立信息學研究所信息系統架構研究部主任一職。在2018年4月至2019年3月期間,胡振江還兼任了東京大學教授一職。
2019年4月,胡振江出任了北京大學教授。同時,胡振江還擔任了北京大學程序設計語言研究室主任。同年6月27日,胡振江當選為歐洲科學院外籍院士。11月27日,因其對魯棒軟件開發方面做出的貢獻而當選電氣和電子工程師協會會士(IEEE Fellow)。
2020年12月4日,胡振江在APSEC(亞太軟件工程大會)2020上做題為“Dependable Bidirectional Programming"的主旨演講。同年,胡振江作為北京大學圖靈班管理委員會主任在北京大學圖靈班開班儀式上講話。次年4月29日,胡振江出席北京大學信息科學技術學院與西安電子科技大學計算機科學與技術學院舉辦的合作共建模式座談會。5月,胡振江受邀參加北京大學——阿里巴巴達摩院青橙學者尋訪活動。
2022年1月10日,胡振江擔任北京大學計算機學院首任院長。同年4月14日,胡振江教授受邀來到北京大學才齋講堂,主講才齋講堂第227講。次年5月12日,胡振江在北京大學學生工作部舉辦的第113期教授茶座上,就“追求研究原本的快樂”這一話題與同學們展開深入交流。6月10日,胡振江參加“宿州書畫進北大暨科技人才合作活動”的開幕式并致辭。12月12日,擔任西北工業大學計算機科學與技術學科學術學位授權點自評估評審會的評審專家。
2024年1月10日,北京大學計算機學院在中關新園科學報告廳召開2023年度工作總結會,胡振江作2023年度工作報告。同年4月12日,胡振江到數字產業學院參觀調研。4月19日,在基礎學科系列“101計劃”工作推進會暨計算機“101計劃”成果交流會上,胡振江具體介紹了計算機“101計劃”的實施情況與收獲:計劃圍繞課程、教材、師資團隊和實踐項目等四方面展開,經過兩年試點建設已取得重要階段性成果,教學改革效果良好,受到專家和師生高度認可。
主要作品
科研成果
科研綜述
胡振江長期致力于程序設計語言和軟件科學與工程的研究領域,在程序語言設計、結構化函數式程序設計、程序的自動綜合和優化、并行程序設計、雙向變換語言的設計和實現、以及軟件的演化和維護等方面做出了很多開創性工作并取得了突出的研究成果。
胡振江的研究重點聚焦于程序演算及其在自動并行化中的應用、雙向變換的語言設計、模型驅動的軟件開發以及軟件求精過程的形式化等方面的研究。他在POPL、PLDI、ICFP等程序語言領域的頂級國際會議以及ICSE、FSE等軟件工程領域的頂級國際會議上發表了眾多成果。
科研項目
截至2024年4月,胡振江主持或參與過14項國家級科研項目,科研資助總額超過2.5億日元。
人才培養
教育成果
截至2020年,胡振江教導培育了50多名研究生,培養的博士生在日本東京大學、日本國立情報研究所、北京大學、澳大利亞科學院(CSIRO)計算機研究所等多個亞太地區知名高校和研究所任教,胡振江及其研究生6次獲得日本軟件學會的高橋獎。
授課
社會任職
獲得榮譽
個人榮譽
參考來源:
作品榮譽
參考來源:
人物評價
基于在程序語言研究領域開展的諸多工作及取得的突出成就,胡振江成為國際公認的函數式程序設計語言的領軍人物,是雙向變換語言研究領域的奠基人之一。(《科技成果管理與研究》評)
在函數式程序設計語言領域,胡振江教授深受贊譽,在2002年時,便被日本科學技術振興機構評為日本21世紀先驅科學家,在科研的道路上,胡振江一直兢兢業業,正是這份契而不舍的科研精神,讓他在函數式程序設計語言領域成就斐然。(人民周刊網評)
這就是胡振江,一位國際知名的程序語言科學家,獲得了業內的高度贊賞與評價,但身在國外的他,十分關注祖國程序語言的發展,或許,正是這樣的責任感,讓他毫不猶豫地回到祖國,與北京大學攜手前行。(東方網評)
參考資料 >
泰州中學校友胡振江院士出任首任北京大學計算機學院院長.鳳城泰州網 .2024-04-22
胡振江.北京大學計算機學院.2024-04-22
計算機科學技術系胡振江教授當選歐洲科學院外籍院士.北京大學計算機學院.2024-04-22
北大教授茶座 | 胡振江教授:追求研究原本的快樂.北京大學新聞網.2024-04-22
Academy of Europe: Hu Zhenjiang.Academia Europaea.2024-04-22
胡振江已擔任北京大學計算機學院首任院長.澎湃新聞.2024-04-22
新工科動態.北京大學.2024-04-22
北京大學程序設計語言研究室簡介.北京大學.2024-04-22
計算機系1988屆校友胡振江當選IEEEFellow.上海交通大學電子信息與電氣工程學院.2024-04-22
胡振江教授在APSEC 2020上做題為“Dependable Bidirectional Programming"的主旨演講.北京大學.2024-04-22
北京大學信息科學技術學院、西安電子科技大學計算機科學與技術學院舉辦合作共建模式座談會.北京大學信息科學技術學院.2024-04-22
北京大學——阿里巴巴達摩院青橙學者尋訪活動成功舉辦.北京大學.2024-04-22
北京大學研究生院.北京大學研究生院.2024-04-22
宿州書畫進北京大學暨科技人才合作活動成功舉行.微信公眾平臺.2024-04-22
計算機科學與技術學科學術學位授權點 自評估評審會順利召開.西北工業大學計算機學院.2024-04-22
新聞丨計算機學院召開2023年度工作總結會.微信公眾平臺.2024-04-22
中國科學院院士梅宏、北京大學教授胡振江蒞臨數字產業學院參觀調研.江西師范大學.2024-04-22
“小切口”撬動拔尖人才培養“大改革”.中國教育新聞網.2024-04-22
Rule-Directed Code Clone Synchronization ,.research.2024-04-22
Academy of Europe: CV.Academia Europaea.2024-04-22
編程語言的設計原理 / 2022春.北京大學.2024-04-22
函數式程序設計 / 2022秋.北京大學.2024-04-22
函數式程序設計 / 2021秋.北京大學.2024-04-22
胡振江:函數式程序設計語言的領軍者.人民周刊網.2024-04-22
胡振江:以發展國內程序設計語言的教育和研究為己任.中國日報網.2024-04-22