[个人]何积丰:一位院士的三次选择

快节奏的语速,敏捷的思维,作为华东师大首批终身教授、软件学院院长,外人可能想不到,何积丰已70岁开外,却按照 “70后”的节奏在工作——“5+2”、“白+黑”……“其实,现在中国人几乎都是这么干的。”何积丰从容地笑笑。 “我这个人算不上聪明,惟一的诀窍就是每天都不脱离专业工作,双休日都不例外。正如我的名字,只有经过长期的‘积’累,才能期盼‘丰’收的喜悦。” 好在,这个办公室是放得下一张安静书桌的地方,他挂起固定电话,关掉手机,给自己创造一个冷冷清清的思考环境。用同事们的话说,何积丰每天都不脱离专业。即使到了午饭时分,他也停不下手头的活儿,喜欢请人去食堂代购馒头,而且只要一个杂粮馒头,就管饱了。他出差只能安排在双休日,“工作日的时间‘用不起’啊”。 潜心研制国产计算机 1965年,何积丰从复旦大学毕业后被分配到华东师范大学工作,从事教学、科研和管理工作,当时的他对“计算机”、“软件”这些名词还闻所未闻。之所以人生轨迹后来发生了巨大转折,和1972年时上海市的一次行政决策有关,当时市里要求复旦大学、华东师范大学研制国产计算机。华东师大发动校内力量,从数学系和物理系抽调了十五六名教师精英,研发这个中国高校此前从未自主制造过的新生事物。已是讲师的何积丰也位列其中,负责计算机的运算控制部分。虽然此前从未见过“活物”,但凭着热情和努力,在查阅文献资料之后,研发小组逐渐摸索到了制造计算机的门路。 两年多之后,这台计算机终于在丽娃河畔诞生。“和现在的计算机相比就是个庞然大物,体积相当于两个半家庭书柜大小!不过运算能力连现在普通笔记本电脑的十分之一都比不过。”何积丰笑着告诉记者,虽然这台计算机出自临时拼凑的“草台班子”,但在技术水平上和当时欧美的计算机相比差距并不很大,几年之后,华东师大再次制造了一台计算机,并送到国外参展。 正是从那时起,何积丰对计算机、软件产生了浓厚的兴趣,此后的工作也与此结缘。1980年,他到美国斯坦福大学、旧金山大学做计算机专业的访问学者;1983年至1998年,在英国牛津大学计算机实验室任高级研究员,1998年起任联合国大学国际软件技术研究所高级研究员。2002年至今,他任华东师范大学软件学院院长。 着眼于国内软件行业与发达国家之间的差距,学科发展、社会需求与高校教学之间的间隙,以及上海市乃至全国对软件行业专门人才的巨大需求,何积丰率先提出了软件人才的协同创新培养模式,先后与国内外高校及中国电科集团第32所、Intel等企事业单位成立了多个合作研究实验室,并与微软等名企合作共建了10余门课程,努力以多元协作的方式,汇聚各行的优秀资源,全面培养软件行业人才的综合创新能力。 软件模型的先驱者 何积丰潜心计算机软件理论及应用研究,数十年如一日。他与英国计算机科学家、图灵奖获得者托尼﹒霍尔一起创造性地提出了软件领域的程序统一理论(UTP),并由此开创了程序统一理论的国际学派;他建立了数据精化的完备理论,并被国际上誉为“面向模型软件开发的一个里程碑”;他系统性地构建了基于模型的可信软件设计方法与开发技术,并被称赞为在软件工程的科学理论与工业实践方面“做了奠基性的工作”。英国科学技术委员会在1998年度报告中赞誉“在过去十五年,何积丰是牛津大学程序研究领域取得成功的驱动力。” 何积丰关注国家与社会的发展需求,并积极有效地推动产学研融合。自2007年起,他担任国家自然科学基金委“可信软件基础研究”重大研究计划的首席科学家,为可信软件技术在国内的普及与应用做出了杰出贡献。他在国内首倡与推动的新兴交叉学科信息物理融合系统的研究,奠定了可信体系架构的基础。结合工业的实际需求,他解决了可信嵌入式系统构造与验证技术的若干关键问题,促进了相关理论及技术在我国安全攸关行业领域的应用。 用英国皇家学会院士JohnMc Dermid的话来说,“何积丰在软件工程的科学理论与工业实践方面做了奠基性的工作”。图灵奖获得者、计算机领域先驱Edsger Dijkstra则对他更为赞赏:“何积丰等人的工作是关系演算理论的主要贡献者(majorcredit)”。 教书育人是第一位的 作为程序统一理论的创立者、数据精化完备理论的奠基者、可信软件设计方法与技术的开拓者,他的一系列研究成果在国际计算机科学领域产生了重要的影响。作为一名党员教师,何积丰更始终以党员教师的标准严格要求自己,对学生和青年教师如同己出、谆谆教导。 对于计算机科学,他进行了长达数十年的研究,对计算机系统的优缺点有着深入的了解,并为全校本科生开设了第一门由院士主讲的通识教育课程——计算机文化。在每一次“计算机文化”课堂上,教室里总是座无虚席,还时常挤满了其它专业前来旁听的学生。他梳理了自己多年的科研成果,为研究生开设了《程序统一理论》课程,成为最受学生欢迎的课程之一。所谓“授人以鱼不如授人以渔”,在对研究生进行学术指点、论文指导的过程中,他一直注重最新学术思想的传授和科学思考方式的引导。
龙8娱乐