Experience
Education
Bio
胡振江,男,1966年3月出生,日本国立情报学研究所教授,北京大学信息学院教授,2013年受聘为教育部第十三批长江学者讲座教授。

胡振江教授长期从事计算机软件与理论领域的研究,在程序语言的设计与支撑环境的实现、函数式语言、程序变换及优化、程序推导及验证、并行程序设计及优化、软件设计方法学等领域做出了很多开创性工作并取得了杰出的研究成果。近年来在程序演算及其在自动并行化的应用、双向变换的语言设计、以及软件的求精过程的形式化上,取得了重大突破,在程序语言的顶级国际会议(POPL 2009, PLDI 2007, ICFP 2010, ICFP 2007, ESOP 2010, ESOP 2012)和软件工程的顶级国际会议(ICSE 2012, MODELS 2010,FSE 2009, ASE 2007)上相继发表了若干最新成果,得到同行的高度评价。2008年获日本软件科学会程序设计和程序语言研究会最优论文奖(每年1-2名)、日本软件科学会高桥奖励奖 (每年2-3名),2011年获日本软件学会基础研究奖(每年2-3名),中国国家自然科学基金海外杰出青年学者合作研究基金 (2006-2008,合作者:北京大学梅宏教授)。

我是JFES(2016年日本工程学会联合会)的会员,ACM杰出科学家(2016年),欧洲科学院院士(2019年)和IEEE的会员(2020年)