何以“积”“丰”

他的名字让人联想起微积分，巧的是，他正是毕业于复旦大学数学系的。但他与软件更有缘——他开创了软件理论的国际学派，他是程序统一理论的创立者，他是数据精化完备理论的奠基者，他还是可信软件设计理论与技术的开拓者。

作为著名计算机软件科学家，伺积丰是一个有着33 年党龄、51年教龄的老党员和老教师。年过七旬的他，至今仍奋斗在科研、教学第一线，他执著的科学精神，可信的人格力量，令人钦佩与鼓舞。

他总是说：“我这个人算不上聪明，唯一的决窍就是每天都不脱离专业工作。”

每天早上8：30，何院士都会准时来到他位于华东师大中北校区的研究室，一直工作到晚上6 点左右回家。大楼的门卫对这位院士印象很深，因为双休日他也经常来学校。即使大过年的，他也会打车来学校。 何院士身兼上海市科协副主席等多个职务，曾获国家级有突出贡献中青年专家，上海市五一劳动奖章、优秀共产党员、劳动模范，国家自然科学奖二等奖、教育部自然科学奖一等奖和上海市科学技术进步奖一等奖等荣誉，两次荣获英国女王先进技术奖……说他各种荣誉等身丝毫不为过。

何院士在计算机软件理论与可信计算领域做出了开拓性的贡献。2007 年，“可信软件基础研究”重大研究计划正式立项。何积丰作为首席科学家投身其中，领衔研发的可信软件成果已应用于航空、轨道交通等与安全攸关的领域。

在他看来，只有长期的“积”累，才能获得“丰”收的喜悦，正如他的名字一何积丰。