早就听闻何积丰，无论何种场合，干净整洁的短发、专注质朴的神情，都透露着他对科学的虔诚与对人生的谦逊。日前的一次采访中，记者眼前的何积丰果真是如此一位儒雅的学者。在请他介绍个人经历和荣誉时，他不愿自我褒奖；在问及科研上如何攻克难关时，他面带微笑地说：“我们计算机软件领域没有什么诀窍，靠的就是每天不断地钻研。”作为一直专注探索计算机软件领域的重大科学问题与前沿技术的著名计算机软件科学家、中国科学院院士、华东师范大学软件学院院长，何积丰在日前召开的上海市科学技术奖励大会上荣获2013年度上海市科技功臣奖。

　　在长期从事计算机软件理论与应用研究过程中，何积丰是程序统一理论的创立者、数据精化完备理论的奠基者、可信软件设计理论与技术的开拓者。他取得了系统性与创新性的成果：发表论文160余篇，论文被引用4000余次，先后主持近10项国家级科研项目，三次担任国家863计划、国家973计划、国家自然科学基金委重大研究计划的首席科学家，获国家级科技成果奖1次，省部级科技成果奖5次，因杰出科研成就被授予英国约克大学荣誉博士。同时，担任了上海市科协副主席、中国科学院信息学部常委会副主任、国家可信嵌入式软件工程技术研究中心（筹）首席科学家、上海市高可信计算重点实验室主任和上海高校知识服务平台——可信物联网产学研联合研发中心（筹）主任，致力于将科研成果应用和服务于社会。

　　科研积跬步 丰硕至千里

　　1965年，何积丰从复旦大学毕业后被分配到华东师范大学工作，从事教学、科研和管理工作，迄今已近50年。几十年如一日，无论冬夏，何教授始终“不离专业工作”，科研上辛勤耕耘，日益积累，终于获得科研路上的丰硕成就。

　　何积丰与图灵奖获得者Tony Hoare共同开创了软件领域的程序统一理论学派，创造性地提出了软件的程序统一理论，解决了程序语义学的若干核心问题，奠定了软件可信开发方法的理论基础，其一系列重要文献被引超过1500次。程序统一理论的数据精化技术现已成为法国商业工具Atelier B的核心技术，该工具已被法国阿尔斯通、德国西门子等公司应用在严格轨道交通软件的开发中。相关成果以唯一完成人获2002年国家自然科学奖二等奖。同时，他也是数据精化完备理论的奠基者，该理论被国际上誉为“面向模型软件开发的一个里程碑”。英国皇家学会院士John Mc Dermid 对其工作评价道：“何积丰在软件工程的科学理论与工业实践方面做了奠基性的工作。”图灵奖获得者、计算机领域先驱Edsger Dijkstra更是说道：“何积丰等人的工作是关系演算理论的主要贡献者（major credit）。”

　　面向软件工程领域的服务与应用，他还系统性地构建了基于模型的可信软件设计理论与开发技术，完成的模型驱动式可信软件工具被成功地应用于轨道交通自动控制系统和航天控制系统中，相关成果获2011年教育部自然科学奖一等奖。

　　回忆科研路上的每一步，何积丰清楚地记得：1980年，他被派到美国旧金山大学进修，在这个科技发达的国家，他以高度的热情投入到学习和科研中。课余时间里，他常常到远离旧金山的斯坦福大学和另一所名牌大学去旁听著名教授的讲课。每次，都得凌晨起床，步行一小时至长途汽车站。就这样，他把别人用来给家人带“大件”的生活补贴都花在了美国的长途汽车票上。斯坦福大学的导师也被这位刻苦求学的中国年轻人所打动，不久便批准其进入该校学习。“路漫漫其修远兮”，科研路上，何积丰所取得的每一个成就，无不经历着艰辛的求索。

    春华积秋实 桃李丰天下

　　何积丰也是创新人才培养不遗余力的践行者，汇聚英才、潜心治学，培养高层次软件行业人才。

　　自从事计算机工作以来，何积丰一直关注并跟踪国际计算机软件和理论研究的最新进展。在海外进修期间，他更是心系祖国，时时刻刻不忘以自己的勤奋和成绩报效祖国。2001年，何积丰受命组建国家首批示范性软件学院之一——华东师范大学软件学院。在他的带领下，软件学院由小变大，由弱变强。从成立时的5人到目前百余人的规模，教育部软硬件协同设计技术与应用工程研究中心落户软件学院，高可信计算实验室获批为上海市重点实验室，成功申报软件工程一级学科博士点，并列入上海市一流学科建设，与中国电子科技集团第32所联合申报的国家可信嵌入式软件工程技术研究中心正式获批，获批筹建上海高校知识服务平台——可信物联网产学研联合研发中心。2012年，教育部学科评估华东师大软件学院的软件工程学科位列全国第六名，软件学院已成为我国高校计算机领域名副其实的“领军团队”之一。10多年来，何积丰带领全院教职工锐意进取、广揽英才，目前学院已培养和汇聚了一支国内一流、国际知名的软件工程理论与应用研发团队。

　　在近50年的教学生涯中，何积丰努力践行服务社会的创新人才培养理念，始终坚持以科学的态度从事教学、科学研究服务，强调对青年道德品性的培养。他积极探索软件人才培养和科学研究的新路子，倡导“以学生为中心，以市场为导向，以创新求发展”的国际化办学理念，并构建了新颖的高端软件人才协同创新培养模式，依托多年的教学实践。他已是“桃李满天下”，培养了一批软件行业的高端人才。

　　面向国家和上海市对信息产业的重大需求，何积丰更是积极将研究成果应用和服务于社会。他领衔的科研团队与企业开展产学研合作，研发的数字互动教室推动了学生教材形式与教学方法的重大革新，成功参展上海世博会，被中央电视台新闻联播节目专门报道。此外，由他负责建立的国家软件人才国际培训基地（上海），为上海市和长三角的嵌入式软件及信息化建设做出了卓越贡献。

    轻咏爱之歌 咏叹真人生

　　欧洲软件界赞誉何积丰在软件方面的贡献是“软件设计技术上的一座里程碑”，而这些荣誉的背后，他还轻咏着一首“爱之歌”。

　　33年前，也就是在何积丰赴美进修期间，他的妻子在一场事故中不幸失明。从此以后，他不离不弃成了妻子的“眼睛”。除了生活上的照顾和鼓励，每一次颁奖，何积丰都会带着妻子张蕾蕾一同前往，并自豪地向朋友们介绍：“这是我的妻子！”张蕾蕾也礼貌地与大家交谈，因为坚强和开朗而愈加美丽。每当何积丰走上领奖台，观众都会报以雷鸣般的掌声，不仅是因为他做出的非凡成绩，还因为他执着的爱和勇气。

　　2005年12月，何积丰当选为中国科学院院士，他和失明妻子的爱情故事经媒体报道被众人知晓。大家纷纷表示，何积丰既有大学问，又有好人品，此乃“真男人”。许多大学生也被他们的爱情故事所感动，在校园网站的BBS上曾一度有几百条给何积丰的留言。

　　一位何积丰的同事告诉记者：“每次同事或好友聚会，何教授都会带着妻子一起出席，餐桌上，他总是先给妻子夹菜。何教授一有空就会亲自买菜，给太太做饭。每次何教授出差前，都会先安顿好太太。”在同事们眼中，何教授不仅在计算机软件领域有很高的造诣，在生活中更是一个对失明妻子情深意笃的好丈夫，他在大家的心目中是一个“完美的人”。

    《上海科技报》  日期：2014年4月2日  版次：4  作者：陶婷婷

    链接：http://www.duob.cn/cont/848/177172.html

（杨静 董盈盈/编发）