孙永强获中国计算机学会“终身成就奖”

中国计算机学会（CCF）1月31日举行颁奖典礼，上海交通大学教授孙永强获“CCF终身成就奖”。

计算机科学家和教育家孙永强从事计算机科学研究50余年，涉及编译原理、函数程序代数理论、软件自动验证、重写技术等多个软件技术分支，在国内外重要刊物和会议发表论文百余篇，培养计算机软件与理论方向博士30余名，曾获国家自然科学奖等多项奖励。

早在20世纪60年代，孙永强就领导团队实现了我国第一批高级程序设计语言编译器，为我国独立设计的中型通用电子管计算机系统的研制成功奠定了基础，经过优化和改进的编译器随后在我国DJS-5型计算机上安装，被国内十余家单位采用。为了推广高级程序设计语言编译技术，孙永强和陈火旺教授等一起撰写了《程序设计语言编译原理》一书，获得了国家级优秀教材一等奖。

孙永强对函数式语言的代数性质进行了开创性研究，提出了程序代数求解理论，在程序转换和程序正确性验证上取得了突破，被列为国家自然科学基金资助的重大科技成果，孙永强也于1987年获得了国家自然科学奖。孙永强还设计并实现了基于函数式语言的超大规模集成电路自动综合和设计系统，该系统能根据功能描述自动生成脉动式阵列的逻辑线路图，成果于1993年获得了国家教委科技进步奖。

据悉，中国计算机学会“终身成就奖”授予在计算机科学、技术和工程领域取得重大突破，成就卓著、贡献巨大的资深中国计算机科技工作者。