【纪念建党95周年·党旗飘飘】

他与英国计算机科学家、图灵奖获得者托尼·霍尔一起创造性地提出了软件领域的程序统一理论（UTP），并由此开创了程序统一理论的国际学派；他建立了数据精化的完备理论，被国际上誉为“面向模型软件开发的一个里程碑”………英国科学技术委员会在1998年度报告中赞誉：“在过去15年，何积丰是牛津大学程序研究领域取得成功的驱动力。”

海外进修如面壁

1965年，从复旦大学数学系毕业的何积丰被分配到华东师范大学工作。20世纪70年代，华东师范大学开始自主研制计算机，何积丰参与了研制工作，负责指令系统设计和实施部分。从那时起，何积丰就与软件结下了不解之缘。

1980年，何积丰被选派到美国旧金山大学进修。在美国这个科技发达的国家，他以高度的热情投入到学习和科研中去。

1983年4月，刚刚入党的何积丰，又被公派到牛津大学担任客座教授。回忆海外进修的岁月，何积丰说自己好比是“面壁十五年”，每个周末都泡在办公室。怀着一颗炽热的报国之心，何积丰毅然回国，并于2001年受命组建国家首批示范性软件学院之一——华东师范大学软件学院。

创建“领军团队”

起步之艰可想而知。“开始只有5位教师，人非常少。”回忆起草创阶段的软件学院，何积丰说。在他的带领下，一系列大刀阔斧的教学改革迅速推进。

“学生下课找不到老师怎么办？老师忙着在外面接活，学生的培养质量怎么保证？”软件学院的门口有个读卡器，这是全校唯一一个教师必须打卡上班的学院。作为中科院院士，何积丰带头给本科生上课。

如今，华东师范大学软件学院已成为我国高校计算机领域名副其实的“领军团队”之一，从成立之初只有区区5名教职人员，发展成培养软件工程人才近3000名，每年的本科生就业率近100%。

专业和党建两手抓

重视党建工作，是何积丰管理软件学院的一大特色。华东师大计算机科学与软件工程学院党委书记李恺说：“何教授对党委工作要求特别高，他经常说，要充分发挥党支部的战斗堡垒作用，每一位党员都应该在自己的本职岗位上发挥先锋模范带头作用。”

“何老师始终把学术事业和祖国的命运与党领导的事业密切地联系在一起，为自己能够在国家发展、学术发展和整个社会的进步中发挥作用而感到自豪。”华东师范大学党委书记童世骏这样说。

在科学探索的世界，何积丰从不满足。2007年，“可信软件基础研究”重大研究计划正式立项。何积丰作为首席科学家投身其中，一干就是9年。如今，项目成果逐渐应用到航空、轨道交通、电子商务等行业。

“不积跬步，无以至千里，更无以走向丰硕的人生。”这是何积丰的人生信条。在科学和人生的道路上，他不断进取，激励并温暖着后继者。

（本报记者 颜维琦 曹继军）