以己所学 服务国家——记北京大学计算机学院院长胡振江  

作　　者：李莉 

机构地区：[1]不详

出　　处：《科学中国人》2024年第5期32-35,共4页Scientific Chinese

摘　　要：如今,软件无处不在,软件开发也成为当下最重要的行业之一。软件开发离不开程序设计语言,它是开发者和计算机沟通的桥梁。“软件定义一切”这个理念代表了一个抽象复杂性、驾驭复杂性的方法,已经扩展到社会生活的方方面面。随着人机物融合的发展,计算的泛在化成为必然,泛在计算中不断涌现出的新计算模式、新计算平台和新的应用问题给程序设计语言的定义和实现带来了新的挑战。北京大学计算机学院教授胡振江长期从事程序设计语言和软件科学与工程的研究,在程序语言设计、结构化函数式程序设计、程序的自动综合和优化、并行程序设计、双向变换语言的设计和实现及软件的演化和维护等方面做出了很多开创性工作并取得了突出研究成果。

关 键 词：程序设计语言 函数式程序设计 并行程序设计 软件开发 设计和实现 程序语言 软件定义 泛在计算 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]