5月19日上午，2019年度上海市科学技术奖励大会在上海展览中心中央大厅召开，隆重表彰为上海科技事业和现代化建设作出突出贡献的科技工作者。华东师范大学作为第一完成单位共有6项科技成果荣获表彰。
华东师范大学软件工程学院何积丰院士领衔完成的“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目荣获科技进步奖特等奖。这是华东师范大学首次摘得上海市科技进步特等奖。
华东师范大学软件工程学院何积丰院士（左3）领衔的“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目荣获科技进步奖特等奖。
另有3项作为参与单位完成的成果荣获上海市科技进步一等奖。与近年相比，获奖质量与数量均获突破。
华东师范大学软件工程学院何积丰院士领衔的“面向重大工业装备核心控制软件的安全可信保障技术及应用”项目荣获科技进步奖特等奖。
该项目属计算机科学与技术领域。重大工业装备是轨道交通、航空航天、军事国防等国家关键基础设施的重要组成部分，核心控制软件是工业装备正常运行的关键中枢，若此类软件出现问题将会引发重大经济损失或人员伤亡。如何保障核心控制软件的安全可信是国际公认的重大挑战，也是我国经济转型升级亟需解决的“卡脖子”问题。项目攻克了控制软件安全可信保障技术三大基础性难题即软件正确性“验证难”、可靠性“保障难”与复杂性“分析难”，并突破了控制软件分析、验证及测试等多项关键技术难题，实现了覆盖软件全生命周期的开发与验证工具链，有力地保障了重大工业装备核心控制软件研制的安全可信。项目形成的主要创新成果如下：
该项目成果获发明专利27项，软著62项，行业标准2项，英文专著1本，高水平论文60篇;获6项省部级以上奖励;近三年新增销售额14.2亿元，新增利润2.1亿元，技术成果应用于“嫦娥三期”和上海首条无人驾驶地铁线路等一大批重大工程。项目第一完成人担任基金委重大研究计划“可信软件基础研究”首席科学家，支持全国科研院所项目107项，有效提升了我国可信软件研究的国际竞争力和我国重大工业装备控制领域核心控制软件的安全可信保障水平。
由华东师范大学精密光谱科学与技术国家重点实验室吴健教授牵头的“分子超快行为精密测量与调控”项目荣获自然科学奖一等奖。
精密光谱科学与技术国家重点实验室吴健教授牵头的“分子超快行为精密测量与调控”项目荣获自然科学奖一等奖。
该项目8篇代表性论文包括5篇PRL和1篇PRX。部分成果获中国光学学会饶毓泰基础光学奖和中国光学重要成果奖。项目第一完成人2014年获得国家杰出青年科学基金资助。
此外，经济与管理学部邵军教授牵头完成的“几类复杂数据的统计分析方法研究”、计算机科学与技术学院孙仕亮教授牵头完成的“多视图数据融合的协同计算理论与方法”项目均获自然科学奖二等奖，通信与电子工程学院文颖教授牵头牵头的“复杂条件下的监控视频分析关键技术及产业化应用”项目获科技进步奖二等奖，以及经济与管理学部危佳钦研究员牵头完成的“保险精算中最优投资再保险策略及产品定价问题的研究”获自然科学奖三等奖。此外，生命科学学院陈立侨教授参与完成的“中华绒螯蟹新品种选育与产业关键技术集成创新”、化学与分子工程学院余家会教授参与完成的“基于多模态影像学的肺癌早筛早诊关键问题研究”和生态与环境科学学院车越教授参与完成的“超大型固废处置基地资源循环利用和污染协同防控关键技术及应用”均获科技进步奖一等奖。
据悉，按照《上海市科学技术奖励规定》(沪府令18号)，通过市科学技术奖评审委员会评审，市科学技术奖励委员会审定，经上海市人民政府批准，2019年度上海市科学技术奖授奖308项(人)，分别授予科技功臣奖2人，青年科技杰出贡献奖10人，自然科学奖43项，科技进步奖205项，其中特等奖2项，技术发明奖31项，其中特等奖1项，科学技术普及奖15项，国际科技合作奖2人。
