何积丰 1943年8月出生，华东师范大学终身教授，中国科学院院士，著名计算机软件科学家。长期从事计算机软件复杂性、正确性和可靠性等问题的理论与应用研究，是程序统一理论创立者、数据精化完备理论奠基者、可信软件设计理论与技术开拓者。与图灵奖获得者Hoare教授共同开创了程序统一理论学派，首次提出了数据精化的“程序分解算子”与“上下仿真映照对”方法，开拓了基于模型的可信软件设计理论与技术。

长期“积”累 终迎“丰”收喜悦

    “我这个人算不上聪明，惟一的诀窍就是每天都不脱离专业工作，双休日都不例外。”在刚刚揭晓的2013年度上海科学技术奖励名单上，现华东师范大学软件学院院长何积丰教授荣膺上海市科技功臣奖。

　　2005年12月何积丰当选中科院院士时，本报曾报道他朴实动人的家庭故事。今次再获殊荣，科学家秉承一贯的朴实与严谨，分析起自己的名字，“只有经过长期的‘积’累，才能期盼‘丰’收的喜悦。”

　　50年不离专业工作

　　无论何种场合，干净整洁的短发、专注质朴的神情，何积丰都流露着对科学的虔诚与对人生的谦逊。1965年，他从复旦大学毕业后被分配到华东师范大学工作，从事教学、科研和管理工作，迄今已近50年。几十年如一日，始终“不离专业工作”。

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

　　不懈科学求索，他与图灵奖获得者Tony Hoare共同开创了软件领域的程序统一理论学派，创造性地提出软件的程序统一理论（UTP），解决了程序语义学的若干核心问题；建立数据精化完备理论，创新了软件开发方法学，奠定软件可信开发方法的理论基础，其一系列重要文献被引超过4000次。采用可信软件理论研发的工具产品已被法国阿尔斯通、德国西门子等公司应用在严格轨道交通软件的开发中。他还系统性地构建了基于模型的可信软件设计理论与开发技术，已被应用在轨道交通自动控制系统和航天控制系统的开发过程中。

　　学生眼中的“完美男人”

　　欧洲软件界赞誉何积丰在软件方面的贡献是“软件设计技术上的一座里程碑”。这些荣誉的背后，他还轻咏着一首珍贵的“爱之歌”。33年前，也就是在何积丰赴美进修期间，妻子在一次意外事故中不幸失明。从此以后，他不离不弃成了妻子的“眼睛”。

　　“你是我的眼，带我领略四季的变换；你是我的眼，带我穿越拥挤的人潮；你是我的眼，带我阅读浩瀚的书海……”歌曲《你是我的眼》所唱，正是这个温暖家庭的真实旋律。让妻子感动的是，凡有好友聚会或重要场合，何积丰都会带上她一同前往，并向朋友自豪介绍：“这是我的妻子！”妻子礼貌地与大家交谈，脸上绽放着坚强和幸福的笑容。

　　2005年12月，何积丰当选中国科学院院士，他和失明妻子的爱情故事经媒体报道被众人知晓。许多大学生被如此朴素的爱情感动，纷纷在校园BBS上留言点赞，“身边的好老师竟是完美男人”，“我们又相信爱情了！”……

　　何积丰想的却和大家想的不一样，“没有妻子，我什么也做不了。虽然她失明了，但是我更离不开她。我们家要是没有她，屋顶也要塌下来了。”　　  

    《新民晚报》  日期：2014年4月1日  版次：A4  作者：马亚宁

    链接：http://xmwb.xinmin.cn/html/2014-04/01/content_4_1.htm

（董盈盈/编发）