何以“积”“丰”
2016-10-20
科学生活 2016年9期
他的名字让人联想起微积分,巧的是,他正是毕业于复旦大学数学系的。但他与软件更有缘——他开创了软件理论的国际学派,他是程序统一理论的创立者,他是数据精化完备理论的奠基者,他还是可信软件设计理论与技术的开拓者。
作为著名计算机软件科学家,伺积丰是一个有着33 年党龄、51年教龄的老党员和老教师。年过七旬的他,至今仍奋斗在科研、教学第一线,他执著的科学精神,可信的人格力量,令人钦佩与鼓舞。
他总是说:“我这个人算不上聪明,唯一的决窍就是每天都不脱离专业工作。”
每天早上8:30,何院士都会准时来到他位于华东师大中北校区的研究室,一直工作到晚上6 点左右回家。大楼的门卫对这位院士印象很深,因为双休日他也经常来学校。即使大过年的,他也会打车来学校。 何院士身兼上海市科协副主席等多个职务,曾获国家级有突出贡献中青年专家,上海市五一劳动奖章、优秀共产党员、劳动模范,国家自然科学奖二等奖、教育部自然科学奖一等奖和上海市科学技术进步奖一等奖等荣誉,两次荣获英国女王先进技术奖……说他各种荣誉等身丝毫不为过。
何院士在计算机软件理论与可信计算领域做出了开拓性的贡献。2007 年,“可信软件基础研究”重大研究计划正式立项。何积丰作为首席科学家投身其中,领衔研发的可信软件成果已应用于航空、轨道交通等与安全攸关的领域。
在他看来,只有长期的“积”累,才能获得“丰”收的喜悦,正如他的名字一何积丰。
登录APP查看全文
