记者从有关部门获悉，3月份的尖峰论坛，将邀请中国科学院院士何积丰教授主讲“现代软件技术”，欢迎感兴趣的师生3月9日晚光临精业楼报告厅，听院士讲述现代软件技术的发展。
何积丰1943年8月5日生于上海。现任华东师范大学终身教授、软件学院院长，上海嵌入式系统研究所所长，曾任牛津大学、联合国大学国际软件技术研究所高级研究员等职。
1985年以来，何积丰教授致力于“设计严格安全软件的完备演算系统”方面的研究。他的成果主要体现：提出数据精化完备理论；建立程序和软件规范的统一数学模型；用形式化界面理论沟通几种程序语言，提出了非确定性数据流的数学模型及代数定律；研究软硬件协同设计系统的数学模型；提出编程统一理论和连接各类程序理论的数学法则。
2001年以来，何积丰教授先后担任四个国家和上海市科研项目的主持人。曾被授予“国家级有突出贡献中青年专家”称号，先后获原国家教委“优秀科技成果”奖、电子工业部科技成果一等奖、上海市科技进步一等奖、国家自然科学二等奖（独立完成）等奖项。
编辑： 宣传部
|
|
|
