基本信息
浏览量:524
职业迁徙
个人简介
胡振江教授长期从事程序设计语言和软件科学与工程的研究,在程序语言设计、结构化函数式程序设计、程序的自动综合和优化、并行程序设计、双向变换语言的设计和实现、以及软件的演化和维护等方面做出了很多开创性工作并取得了突出的研究成果,曾获全日本最佳博士论文奖,日本软件科学会基础研究成就奖,被评为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,国家科学评论,中国科学等学术杂志的编委。
近年来,胡振江教授将研究重点放在程序演算及其在自动并行化的应用、双向变换的语言设计、模型驱动的软件开发,以及软件求精过程的形式化上,取得了一系列突破,在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,国家科学评论,中国科学等学术杂志的编委。
研究兴趣
论文共 393 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Proceedings of the ACM on Programming Languagesno. POPL (2024): 1211-1238
LOPSTRpp.9-27, (2023)
引用0浏览0EI引用
0
0
Proceedings of the ACM on Programming Languagesno. OOPSLA1 (2023): 819-847
Proceedings of the ACM on Programming Languagesno. OOPSLA1 (2023): 230-255
ELECTRONICSno. 1 (2023): 250-250
JOURNAL OF FUNCTIONAL PROGRAMMING (2023)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn