信息领域的铸梦者

——记华东师范大学计算机科学与软件工程学院院长何积丰

信息技术是影响当今乃至未来的重要科技。何积丰作为这个领域的佼佼者，培养了数千名高层次软件人才，开创了可信软件研究新领域，成就了祖国计算机科学快步发展的梦想。

受命建院 创新模式

1965年，何积丰来到华东师范大学工作，成为上海高校第一批从事计算机科学教学和研究的人员。20世纪80年代，他被学校先后派往美国斯坦福大学、英国牛津大学进修学习。2001年，他响应党和国家号召，受命组建国家首批示范性软件学院之一的华东师范大学软件学院。

着眼于国内软件行业与发达国家之间的差距，学科发展、社会需求与高校教学之间的差距，以及上海市乃至全国对软件行业专门人才的巨大需求，何积丰率先提出了软件人才的协同创新培养模式，先后与国内外高校及中国电科集团第32所、Intel等企事业单位成立了多个合作研究实验室，并与微软等名企合作共建了10余门课程，努力以多元协作的方式，汇聚各行优秀资源，全面培养软件行业人才的综合创新能力。为提升学院的国际竞争力，何积丰始终关注软件工程学科国际新发展，提出并制定了一系列举措：鼓励教师积极吸纳国际上软件工程人才培养的先进理念和课程的合理化成分，使教学内容与学科发展保持同步；并全面推进双语和全英文课程建设，改革外语教学，聘请外籍教师，强化学生的外语学习。

目前，学院已为社会培养软件工程高层次专业人才3000余名（含博士100余名、硕士600余名），华东师范大学计算机科学与软件工程学院也已成为我国高校计算机软件工程领域名副其实的“领军团队”。

攻关科研 潜心治学

何积丰潜心计算机软件理论及应用研究，数十年如一日。他与英国计算机科学家、图灵奖获得者托尼·霍尔一起创造性地提出了软件领域的程序统一理论（UTP），并由此开创了程序统一理论的国际学派；他建立了数据精化的完备理论，并被国际上誉为“面向模型软件开发的一个里程碑”；他系统性地构建了基于模型的可信软件设计方法与开发技术,并被称赞为在软件工程的科学理论与工业实践方面“做了奠基性的工作”。英国科学技术委员会在1998年度报告中赞誉“在过去十五年，何积丰是牛津大学程序研究领域取得成功的驱动力”。

何积丰关注国家与社会的发展需求，并积极有效地推动产学研融合。自2007年起，他担任国家自然科学基金委“可信软件基础研究”重大研究计划的首席科学家