投身科技事业 大爱铸就梦想

                                       何积丰（资料图）

何积丰，中共党员，中国科学院院士，计算机软件科学家，华东师范大学终身教授、计算机科学与软件工程学院院长，上海市科协副主席，中国科学院信息学部常委会副主任。担任国家可信嵌入式软件工程技术研究中心首席科学家，国家可信软件国际联合研究中心主任，教育部可信软件国际合作联合实验室主任，上海市高可信计算重点实验室主任，上海市可信物联网软件协同创新中心主任。

何积丰同志党龄33年、育人51载。他胸怀党和国家事业，带领团队培养了数千名高层次软件人才；他攻关科研、开拓创新，秉持执着追求的科学精神，开创可信软件研究新领域；他敢于担当、积极作为，取得了丰硕的教学科研成果，成为我国信息领域领军专家，践行了一名共产党员的誓言。

潜心治学 身先垂范 胸怀党和国家事业的开拓者

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

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

攻关科研 开拓创新 开创研究新领域的科学家

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

何积丰关注国家与社会的发展需求，并积极有效地推动产学研融合。自2007年起，他担任国家自然科学基金委“可信软件基础研究”重大研究计划的首席科学家，为可信软件技术在国内的普及与应用做出了杰出贡献。他在国内首倡与推动的新兴交叉学科信息物理融合系统的研究，奠定了可信体系架构的基础。结合工业的实际需求，他解决了可信嵌入式系统构造与验证技术的若干关键问题，促进了相关理论及技术在我国安全攸关行业领域的应用。他领衔的团队与企业开展产学研合作，研发的数字互动教室系统推动了学生教材形式与教学方法的重大革新，并成功参展上海世博会，被中央电视台新闻联播节目专题报道。他率领团队参与建设国家软件人才国际培训基地（上海），为上海市和长三角的嵌入式软件及信息化建设做出了卓越贡献。