胡振江,男,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