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

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

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

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

        评估期内，上海市重点实验室主持承担了80余项国家级科研项目；发表了300余篇被SCI/EI收录的高水平论文，取得2项国际标准认证、30多项软件著作权和专利，主办国际学术会议20余次；引进了教育部新世纪人才计划等优秀人才。重点实验室人员与成果先后分别荣获了教育部高等学校自然科学奖一等奖、教育部科学技术进步奖二等奖、何梁何利基金科学与技术进步奖、上海市科技功臣奖、上海市教育功臣等奖项。

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