程序统一理论与技术的开拓者、数据精化完备理论的奠基者、可信软件设计理论与技术的开拓者、中国科学院院士、国家可信嵌入式软件工程技术研究中心首席科学家、华东师范大学软件学院院长……在刚刚揭晓的2013年度上海科学技术奖励名单上，拥有众多头衔的何积丰荣膺上海市科技功臣奖。

    盛名之下，何积丰却只是轻描淡写地笑道：“我做科研工作以来并没有什么惊心动魄的传奇，要说取得一些进步的关键，其实长时间的积累是唯一方法，正如我的名字，‘积’与‘丰’。”

    科研路上的每一步，何积丰仍历历在目：1980年，被派到美国旧金山大学进修，课余时间他常到远离旧金山的斯坦福大学和另一所名牌大学旁听著名教授讲课。凌晨起床，步行一小时至长途汽车站，就这样，他把别人用来给家人带“大件”的生活补贴都花在长途汽车票上。斯坦福大学的导师也被这位刻苦求学的中国年轻人打动，批准其进入该校学习。

    身边的工作人员感叹：“一个每年大年初二就回到学校的老教授，常常令门卫师傅都感到吃惊。就算是平时的工作日，何教授也很少准点下班，大家甚至看过他中午一餐就吃一个杂粮馒头。”

    不懈科学求索，何积丰与图灵奖获得者Tony Hoare共同开创了软件领域的程序统一理论学派，创造性地提出了软件的程序统一理论，解决了程序语义学的若干核心问题，奠定了软件可信开发方法的理论基础，一系列重要文献被引超过4000次。同时他也是数据精化完备理论的奠基者，该理论被国际上誉为“面向模型软件开发的一个里程碑”。图灵奖获得者、计算机领域先驱Edsger Dijkstra赞誉他道：“我发明的关系演算工作主要归功于何积丰的研究。”

    获得多项殊荣的何积丰更关切如何将理论研究更好地应用于国内的相关行业。他主持了国家自然科学基金委“可信软件基础研究”重大研究计划，系统性地构建了基于模型的可信软件设计理论与开发技术，已被成功地应用于轨交自动控制系统和航天控制系统等国家安全攸关行业的开发过程中，推动了相关产业发展。迎接智能时代，何积丰率领团队还瞄准了被国际公认为下一代工业革命核心的信息物理融合系统，突破了传统的软件架构技术。

    这位自称“没有故事可说”的软件研究专家，在谈及自己的心态时，依旧不离专业工作：“我能够充满活力地工作，是我的专业要求我保持活跃的思维，这其中没有秘诀也更谈不上传奇，软件科学就是思维的艺术。”

    何积丰于2001年受命组建国家首批示范性软件学院之一——华东师范大学软件学院。如今，软件学院的软件工程学科已经成为我国高校计算机领域名副其实的“领军团队”之一。他心系学生的成长。一届新生入学期间，何积丰都会亲自去学生寝室逐一走访并和这些青年学子交谈，尤其关切着家庭困难学生的生活问题。他敢于打破传统，率先提出软件人才的协同创新培养模式，倡导“以学生为中心”的科研团队建设，实行本科生导师制，建立以学生自主管理为特点的实验室，软件学院学生不断创获佳绩。

    华东师范大学软件学院的创新研究群体在他的带领下已经进入了第四个寒暑。这个平均年龄不到40岁的团队中，来自大江南北的青年研究员们相互切磋，共同攻关。何积丰带领他们积极与企业开展产学研合作，研发的数字互动教室系统推动了学生教材形式与教学方法的重大革新，成功参展上海世博会。

    如今，站在新的领奖台上，何积丰说，现在他的目标是能否带领自己的整个团队去攻克软件领域的世界新课题。

    （科技日报上海4月1日电）