软件都是可信的吗？不，软件是把双刃剑！使用正确，造福人类；使用错误，失之毫厘缪之千里，贻害无法估量。9月9日，中国科学院院士何积丰在全国博士生学术论坛上给我们敲响了警钟。
　　本次报告历时40分钟，何积丰院士首先从高精尖的航空领域切入，列举近年来宇宙航空工程中出现的重大软件计算失误：例如，2003年5月4日，搭乘俄罗斯“联盟TMA1”载人飞船的国际空间站第七长期考察团的宇航员们返回了地球，但在返回途中飞船偏离了降落目标地点约460公里。据来自美国航空航天局的消息，这是由飞船的导航计算机软件设计错误引起的。
　　

　　何积丰院士阐明了计算机软件设计中的易出差错性、目前软件环境薄弱易受攻击的缺陷，再联系日常软件潜在的种种问题，引出了目前我们软件行业面对的挑战，提出了“可信软件”的概念，并强调指出：可信=可靠+安全。
　　然后，他针对我国软件环境的现状，阐述了我们面对的四大难点问题以及解决问题应该努力的方向。何院士以通俗的语言、生动的比喻一一解释了“软件系统动力学模型”、“软件理论统一化”、“区间计算”等一个个专业性术语，原本深奥难懂的内容成了一堂有趣的科学普及课，会场不时爆发出阵阵掌声。在自由提问环节，与会的同学们踊跃提问，何院士严谨而耐心地一一回答。
　　会后，何院士对本届博士生学术论坛的举办表示了高度的赞赏，他指出，在信息化时代，信息技术是信息社会的高新技术，信息化将带来工业化的发展。计算机技术在信息技术中处于前沿地位，需要大力支持，需要多多交流。
　　据了解，何积丰院士是我国著名的计算机软件专家。他1943年8月生于上海，祖籍浙江宁波。1965年，他毕业于复旦大学数学系，现任华东师范大学终身教授、软件学院院长，上海嵌入式系统研究所所长，可信计算重大专项基础研究首席科学家。他还兼任联合国大学国际软件技术研究所高级研究员，英国牛津大学客座教授，牛津大学计算实验室高级研究员等，曾两度获最高科研奖——英国先进科技女皇奖。何积丰院士早年曾进行管理信息系统和办公自动化系统的研发。2001年以来，他先后担任了四个国家级和上海市的重要科研项目的主持人。目前，他已发表学术论文140余篇，被SCI他引540多次，先后获上海科技进步一等奖、国家自然科学二等奖和电子工业部科技成果一等奖等奖项。
　　（编 辑\侯其锋 供 稿\侯树金 图 片\林鑫）