反饋

胡振江

（日本工程院外籍院士，歐洲科學院外籍院士，北京大學計算機學院院長）

胡振江，男，1966年3月出生，江蘇泰州市人，日本工程院外籍院士，歐洲科學院外籍院士，北京大學講席教授，北京大學計算機學院院長。^[1-2]

胡振江於1988年獲得上海交通大學學士學位；1991年獲得上海交通大學碩士學位；1996年獲得日本東京大學信息工學專業博士學位；1997年1月至2000年6月任東京大學助理教授；2000年7月至2008年3月任東京大學副教授；2008年4月至2019年3月任日本國立信息學研究所教授；2016年4月至2018年3月任日本國立信息學研究所信息學系主任；2018年4月至2019年3月任東京大學教授；2019年4月任北京大學教授，6月當選為歐洲科學院外籍院士；^[13] 2020年當選為電氣與電子工程師協會會士、日本工程院院士；^[2] 2022年1月任北京大學計算機學院院長。^[12]

胡振江長期從事程序設計語言和軟件科學與工程的研究。^[2]

中文名: 胡振江
國籍: 中國
出生日期: 1966年3月
畢業院校: 東京大學
職業: 教育科研工作者

主要成就: 2019年當選為歐洲科學院外籍院士
2020年當選為日本工程院外籍院士
籍貫: 江蘇泰州
學位: 博士
學歷: 研究生

胡振江人物經歷

1966年3月，胡振江出生。

1984年，高中畢業於江蘇省泰州中學。

1988年，獲得上海交通大學學士學位。

1991年，獲得上海交通大學碩士學位。

1996年，獲得日本東京大學信息工學專業博士學位；同年4月至12月，任日本東京大學JSPS研究員。

1997年1月至2000年6月，任東京大學助理教授。

2000年7月至2008年3月，任東京大學副教授。

2005年，獲得中國海外傑出青年科學基金資助。

2008年4月至2019年3月，任日本國立信息學研究所教授。

2016年，當選為日本工學會會士。^[2]

2016年4月至2018年3月，任日本國立信息學研究所信息學系主任。

2017年4月至2019年3月，任日本國立信息學研究所信息系統架構研究部主任。

2018年4月至2019年3月，任東京大學教授。

2019年4月，任北京大學教授；^[6] 6月，當選為歐洲科學院外籍院士。^[13]

2020年，當選為電氣與電子工程師協會會士、日本工程院院士。^[2]

2022年1月，任北京大學計算機學院院長。^[12]

胡振江

胡振江主要成就

胡振江科研成就

科研綜述

胡振江

胡振江首次將程序演算技術應用於函數式程序的自動優化，實現了算法級別的函數式程序深度優化，相關成果被GHC、pH等主流Haskell編譯器採用；與此同時，他進一步將程序演算技術應用於函數式程序的並行化，回答了程序並行化的充要條件、推導算法等一系列基本問題，提出了全自動的程序並行化技術，相關成果曾被太陽計算機系統（中國）有限公司選中作為高性能計算語言Fortress的並行標準庫；對於將函數式語言技術用於處理數據同步問題，胡振江開闢了雙向變換這一研究領域，發起了雙向變換的國際研討會並一直引領雙向變換的研究。^[4]

學術論文

截至2020年，胡振江在ICSE、FSE等軟件工程領域中國國內外會議上發表論文100餘篇。^[14]

學術論文（部分）
學術論文名稱	會議名稱	發表時間
The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer	36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages	2009年
Maintaining Invariant Traceability through Bidirectional Transformations	34th International Conference on Software Engineering	2012年
Sebastian Fischer. Validity Checking of Putback Transformations in Bidirectional Programming	19th International Symposium on Formal Methods	2014年
An Axiomatic Basis for Bidirectional Programming California	45th ACM SIGPLAN Symposium on Principles of Programming Languages	2018年
Putback-based Bidirectional Model Transformations	26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering	2018年
資料來源：^[7]

科研項目

截至2019年6月，胡振江主持或參與過14項國家級科研項目，科研資助總額超過2.5億日元。^[5]

胡振江人才培養

培養成果

截至2020年，胡振江教導培育了50多名研究生，培養的博士生在日本東京大學、日本國立情報研究所、北京大學、澳大利亞科學院（CSIRO）計算機研究所等多個亞太地區高校和研究所任教，已經成為亞太地區程序語言研究的中堅力量。^[14]

執教課程

課程類型	課程名稱
-	函數式程序設計、編程語言的設計原理、函數式程序設計
資料來源：^[8-10]

胡振江榮譽表彰

時間	榮譽/獎勵	授予單位
2002年	21世紀先驅科學家^[4]	日本科學技術振興機構
2016年	日本工學會會士^[2]	日本工學會
2016年	ACM傑出科學家^[2]	-
2019年	歐洲科學院外籍院士^[13]	歐洲科學院
2020年	日本工程院外籍院士^[3]	日本工程院
2020年	電氣與電子工程師協會會士^[2]	電氣與電子工程師協會

胡振江社會任職

時間	擔任職務
2003年至2012年	《Journal of Computer Software》編委^[5]
2005年至2010年	《Journal of Information Processing Society of Japan》編委^[5]
2006年至2007年	《計算機科學前沿》編委^[5]
2012年	《計算機編程科學》編委^[5]
2012年	《軟件與系統模塊》編委^[5]
2013年	《國家科學評論》副主編^[5]
2013年至2017年	《IEEE軟件工程彙刊》副主編^[5]
2017年	《中國科學》編委^[5]
2017年	《國家科學評論》編輯^[5]
-	美國計算機協會ACM函數程序設計國際會議（ICFP）指導委員會委員主席^[2]
-	日本軟件科學會理事^[2]
-	國際信息處理聯盟IFIP TC 2（Software: Theory and Practice）日本分會代表^[2]
-	國際信息處理聯合會委員^[2]
-	亞洲軟件基礎學會（AAFS）指導委員會主席^[2]
-	NII湘南國際系列研討會學術委員會主席^[2]