——记华东师范大学计算机科学与软件工程学院院长何积
丰
信息技术是影响当今乃至未来的重要科技。何积丰作
为这个领域的佼佼者,培养了数千名高层次软件人才,开
创了可信软件研究新领域,成就了祖国计算机科学快步发
展的梦想。
受命建院 创新模式
1965年,何积丰来到华东师范大学工作,成为上海高
校第一批从事计算机科学教学和研究的人员。20世纪80年
代,他被学校先后派往美国斯坦福大学、英国牛津大学进
修学习。2001年,他响应党和国家号召,受命组建国家首
批示范性软件学院之一的华东师范大学软件学院。
着眼于国内软件行业与发达国家之间的差距,学科发
展、社会需求与高校教学之间的差距,以及上海市乃至全
国对软件行业专门人才的巨大需求,何积丰率先提出了软
件人才的协同创新培养模式,先后与国内外高校及中国电
科集团第32所、Intel等企事业单位成立了多个合作研究实验
室,并与微软等名企合作共建了10余门课程,努力以多元
协作的方式,汇聚各行优秀资源,全面培养软件行业人才
的综合创新能力。为提升学院的国际竞争力,何积丰始终
关注软件工程学科国际新发展,提出并制定了一系列举措
:鼓励教师积极吸纳国际上软件工程人才培养的先进理念
和课程的合理化成分,使教学内容与学科发展保持同步
;并全面推进双语和全英文课程建设,改革外语教学,聘
请外籍教师,强化学生的外语学习。
目前,学院已为社会培养软件工程高层次专业人才
3000余名(含博士100余名、硕士600余名),华东师范大
学计算机科学与软件工程学院也已成为我国高校计算机软
件工程领域名副其实的“领军团队”。
攻关科研 潜心治学
何积丰潜心计算机软件理论及应用研究,数十年如一
日。他与英国计算机科学家、图灵奖获得者托尼·霍尔一起
创造性地提出了软件领域的程序统一理论(UTP),并由此
开创了程序统一理论的国际学派;他建立了数据精化的完
备理论,并被国际上誉为“面向模型软件开发的一个里程碑
”;他系统性地构建了基于模型的可信软件设计方法与开发
技术,并被称赞为在软件工程的科学理论与工业实践方面“做
了奠基性的工作”。英国科学技术委员会在1998年度报告中
赞誉“在过去十五年,何积丰是牛津大学程序研究领域取得
成功的驱动力”。
何积丰关注国家与社会的发展需求,并积极有效地推
动产学研融合。自2007年起,他担任国家自然科学基金委
“可信软件基础研究”重大研究计划的首席科学家,为可信软
件