早报记者 韩晓蓉
2013年度上海科技功臣、华东师范大学软件学院院长何积丰院士，工作至今40多年，他的研究始终引领着时代，站在了时代的前沿。
何积丰院士学识和人品都为人称道，他和盲妻持续41年的“爱情童话”更是感动了无数人。
40余年引领“学术前沿”
他长期从事计算机软件理论及应用研究，针对软件的复杂性、正确性和可靠性等问题开展了系统性的研究。他是程序统一理论创立者、数据精化完备理论奠基者、可信软件设计理论与技术开拓者。系统性地研究了各类程序语言语义理论，与图灵奖获得者Hoare教授共同开创了程序统一理论学派，奠定了软件语义元理论基础，被国际上公认为研究各类程序语言的一种标准方法；他首次提出了数据精化的“程序分解算子”与“上下仿真映照对”方法，创建了数据精化完备理论，国际计算机科学界誉其为“面向模型软件开发的一个里程碑”；他开拓了基于模型的可信软件设计理论与技术，相关成果已被轨道交通、汽车电子、航天控制等安全攸关领域所采用，该成果被应用于上海普华的汽车电子操作系统验证过程，验证后的操作系统成为国内首个通过欧洲OSEK标准认证的操作系统，并首次出口欧洲。
回忆科研路上的每一步，何积丰清楚地记得：1980年，他被派到美国旧金山大学进修，在美国这个科技发达的国家，他争分夺秒地学习和科研。课余时间里，他常常到远离旧金山的斯坦福大学和另一所名牌大学去旁听著名教授的讲课。每次都得凌晨起床，步行一小时至长途汽车站。就这样，他把别人用来给家人带“大件”的生活补贴都花在了美国的长途汽车票上，斯坦福大学的导师也被这位刻苦求学的中国年轻人所打动，不久便批准其进入该校学习。“路漫漫其修远兮”，科研路上，何积丰所取得的每一个成就，无不经历着艰辛的求索。
何积丰认为，计算机软件的发展日新月异，移动互联网比高速公路还重要，今后技术的发展方向是，不仅人是智能的，各种物体都是智能的，穿戴式设备会成为人的智慧延伸，手机将成为每个人的个人服务器，这一切，都需要计算机软件科学作为支撑，他希望能在科学前沿的道路上继续学习，继续探索。
持续41年的“爱情童话”
何积丰是上海人，1965年从复旦大学数学系毕业后就在华东师范大学工作，先后任助教、讲师，1986年晋升为教授，后成为华东师大首批终身教授。
1980年至1981年，何积丰在美国斯坦福大学、旧金山大学做访问学者,生命中最为难忘的一年，也就是1980年，时年37岁的何积丰被华东师范大学派到美国旧金山大学进修，多年来的期盼成真，心情激动，妻子张蕾蕾全力支持他，一个人抚养着刚出生不久的女儿。不幸的是，在何积丰去美国后半年，张蕾蕾在一起意外事故中受伤，一夜之间双目失明！坚强的她为了不影响丈夫的学业和事业，向他隐瞒了真相，何积丰的进修时间为期一年，在失明后等候丈夫的这半年里，张蕾蕾曾无数次地想到了死，可每每想到丈夫，想到女儿，她又放弃了，她想不管以后如何，总要再见一面丈夫再说。
一年的美国进修结束后，终于回到了日夜思念的家，等待何积丰的竟是这样的噩耗，他的心都快碎了，何积丰决定带妻子看最好的医生，让她重见光明，求医问药的日子，他始终安慰开导妻子，然而，重见光明的希望没有实现，为了不成为丈夫的累赘，张蕾蕾忍痛向丈夫提出离婚。何积丰却说：“我就是你的眼睛，我俩要永远在一起！”
何积丰就这样三十余年如一日地做妻子的“眼睛”：春天，他带她出去踏青，告诉她燕儿归来，杨柳依依；夏天，他买来冰淇淋，带给她夏日的清凉和香甜；秋天，他带她走在落叶上，告诉她“落红不是无情物，化作春泥更护花”；冬天，他和她一起听雪落的声音，告诉她“冬天来了，春天还会远吗”。
爱情的力量是伟大的，精神的支持是强大的，虽然自己的眼睛看不见了，但张蕾蕾想给丈夫营造一个温暖而轻松的港湾，开始学做家务，渐渐地，张蕾蕾学会了做所有的家务，整理房间、洗衣、做饭、熨衣服、织毛衣，还学会了弹钢琴，陪伴丈夫在英国的日子，甚至还学会了流利的英语。失明的张蕾蕾倍加珍惜她的“新眼睛”，她要好好地爱他，呵护他，她重新找回了自信，更全力为丈夫分担，让他能全心全意地投入到他所热爱的事业。
养生秘诀是只喝白开水
无论是谁见到何积丰，都不会相信他今年已经71岁了，看起来正值壮年的何积丰不止一次地被问到“保养秘诀”，和一般人的跑步养生不同，何积丰养生是轻微运动，每天散步，还注意控制饮食，不吸烟、不喝酒，只喝白开水。
他笑称，自己的主要运动是大脑运动。尽管已取得令人瞩目的成就，但他一直还坚持在实验室工作，和学生们一起努力，春节时也不多休息，大年初二就开始上班，工作忙起来的时候，中午只吃一个馒头。
但是不管多忙，他还是会抽出时间和年轻学生们一起互动，每年新生入学，作为软件学院的院长，他都会去新生寝室，一间一间地走访，问学生有什么需求。
他还尽量给年轻教师和研究生们更多脱颖而出的机会，有重大的课题都会带着他们一起做，发表论文或是有科研成果时，也会尽量把年轻人推到台前。
本文来源：东方早报
责任编辑：
王晓易_NE0011
