教学内容与学科发展保持同步；并全面推进双语和全英文课
程建设，改革外语教学，聘请外籍教师，强化学生的外语学
习。
目前，学院已为社会培养软件工程高层次专业人才 3000
余名（含博士 100 余名、硕士 600 余名），华东师范大学计
算机科学与软件工程学院也已成为我国高校计算机软件工
程领域名副其实的“领军团队”。
攻关科研 潜心治学
何积丰潜心计算机软件理论及应用研究，数十年如一日。
他与英国计算机科学家、图灵奖获得者托尼·霍尔一起创造
性地提出了软件领域的程序统一理论（UTP），并由此开创了
程序统一理论的国际学派；他建立了数据精化的完备理论，
并被国际上誉为“面向模型软件开发的一个里程碑”；他系
统性地构建了基于模型的可信软件设计方法与开发技术,并
被称赞为在软件工程的科学理论与工业实践方面“做了奠基
性的工作”。英国科学技术委员会在 1998 年度报告中赞誉“在
过去十五年，何积丰是牛津大学程序研究领域取得成功的驱
动力”。
何积丰关注国家与社会的发展需求，并积极有效地推动
产学研融合。自 2007 年起，他担任国家自然科学基金委“可
信软件基础研究”重大研究计划的首席科学家，为可信软件
技术在国内的普及与应用作出了杰出贡献。他在国内首倡与
推动的新兴交叉学科信息物理融合系统的研究，奠定了可信
体系架构的基础。结合工业的实际需求，他解决了可信嵌入
