1996年,获得日本
东京大学信息工学专业博士学位;同年4月至12月,任日本东京大学JSPS研究员。
胡振江首次将程序演算技术应用于函数式程序的自动优化,实现了算法级别的函数式程序深度优化,相关成果被GHC、pH等主流Haskell编译器采用;与此同时,他进一步将程序演算技术应用于函数式程序的并行化,回答了程序并行化的充要条件、推导算法等一系列基本问题,提出了全自动的程序并行化技术,相关成果曾被
太阳计算机系统(中国)有限公司选中作为高性能计算语言Fortress的并行标准库;对于将函数式语言技术用于处理数据同步问题,胡振江开辟了双向变换这一研究领域,发起了双向变换的国际研讨会并一直引领双向变换的研究。
截至2020年,胡振江教导培育了50多名研究生,培养的博士生在日本东京大学、日本国立情报研究所、北京大学、澳大利亚科学院(CSIRO)计算机研究所等多个亚太地区高校和研究所任教,已经成为亚太地区程序语言研究的中坚力量。
胡振江教授是一位满载荣誉与梦想归来的函数式程序设计语言的领军者,在函数式程序设计语言领域深受赞誉;在科研的道路上,胡振江一直兢兢业业,正是这份锲而不舍的科研精神,让他在函数式程序设计语言领域成就斐然。(
人民周刊网评)
基于在程序语言研究领域开展的诸多工作及取得的突出成就,胡振江成为国际公认的函数式程序设计语言的领军人物,是双向变换语言研究领域的奠基人之一。(《
科技成果管理与研究》评)