您现在的位置: 首页 » 关于我们 » 组织体系 » 正文

关于我们

组织体系

胡振江经理

职称:教授

研究所:软件研究所

研究领域:程序设计语言,函数式语言,软件工程,程序演算

办公电话:86-10-62757974

电子邮件:huzjpku.edu.cn

个人主页:http://sei.pku.edu.cn/~hu

胡振江,老版大阳城网站讲席教授。分别于1988年和1991年在上海交通大学计算机科学与工程系获得学士和硕士学位,1996年在日本东京大学信息工学专业获博士学位。曾担任东京大学情报理工学研究科助理教授和副教授(1997-2008),日本国立信息学研究所教授/系主任(2008-2019),东京大学情报理工学研究科教授(2018-2019), 是海外杰出青年科学基金获得者。

胡振江教授长期从事程序设计语言和软件科学与工程的研究,在程序语言设计、结构化函数式程序设计、程序的自动综合和优化、并行程序设计、双向变换语言的设计和实现、以及软件的演化和维护等方面做出了很多开创性工作并取得了突出的研究成果,曾获全日本最佳博士论文奖,日本软件科学会基础研究成就奖,被评为21世纪先驱科学家(日本科学技术振兴机构),日本工学会会士(2016),ACM杰出科学家(2016),欧洲科学院院士(2019),IEEE会士(2020),日本工程院院士(2020)。

近年来,胡振江教授将研究重点放在程序演算及其在自动并行化的应用、双向变换的语言设计、模型驱动的软件开发,以及软件求精过程的形式化上,取得了一系列突破,在POPL, PLDI, ICFP等程序语言的顶级国际会议以及ICSE,FSE等软件工程的顶级国际会议上发表众多成果。

胡振江教授担任(或曾经担任)美国计算机协会ACM函数程序设计国际会议(ICFP)指导委员会委员主席,日本软件科学会理事,国际信息处理联盟IFIP TC 2 (Software: Theory and Practice)日本分会代表,IFIP WG 2.1委员,亚洲软件基础学会(AAFS)指导委员会主席,NII湘南国际系列研讨会学术委员会主席,以及IEEE Transactions on Software Engineering, Science of Computer Programming,国家科学评论,中国科学等学术杂志的编委。