上海市高可信计算重点实验室在2017年评估中获得【优秀】

       近日，上海市科学技术委员会发布了2017年信息与工程领域的上海市重点实验室评估结果。依托华东师范大学建设的上海市高可信计算重点实验室被评为“优秀”类实验室，这是上海市高可信计算重点实验室第三次获此殊荣。

附件：2017年上海市重点实验室评估结果

       上海市重点实验室评估每三年进行一次，2017年共计41个信息与工程领域的上海市重点实验室参加评估，共有6个实验室被评为“优秀”类实验室。评估工作对实验室的建设与发展起到了积极的促进作用。

       2017年11月7日，评估专家组对上海市高可信计算重点实验室进行了现场考察及资料核查；11月28日、12月12日分别召开了初评会议及复评会议。评估专家组对上海市高可信计算重点实验室评估期间的建设工作给予了充分肯定，一致认为：在评估期内，上海市高可信计算重点实验室定位准确，研究方向明确，重点突出，取得了丰硕的研究成果；重点实验室面向国家软件产业发展和上海地方经济建设的重点需求，在信息物理融合系统的可信基础理论、基于模型的可信软件理论与方法、可信软件分析与验证技术、数据密集型计算中的数据管理、面向航天、轨交、汽车电子等安全攸关领域的可信技术验证应用等方面取得了一系列具有影响力的创新性成果。

评估专家组对重点实验室进行现场考察

       评估期内，上海市重点实验室主持承担了国家/省部级项目84项；企事业单位委托项目62项；获得 1项国家级科技奖励；7项省部级科技奖励；新增科技部和教育部国际联合研究基地各1个；海外博士后6名；发表了300余篇被SCI/EI收录的高水平论文；申请专利75项、软件著作权101项；组织9次国际学术会议、7次暑期学校，受众超千人。

       上海市高可信计算重点实验室将根据评估专家组提出的意见和建议，认真总结经验，在巩固现有成绩与优势的基础上，进一步提升实验室的基础研究水平与科技创新能力，建成具有国内引领地位、国际知名的高水平可信计算研究平台。