2016-1-15 上海市高可信计算重点实验室第二届学术委员会第五次会议顺利召开

        上海市高可信计算重点实验室第二届学术委员会第五次会议于2016年1月15日在华东师范大学中山北路校区召开。实验室学术委员会主任周巢尘院士、委员陆汝钤院士、何积丰院士、吕建院士、王怀民教授、高小山研究员、蒋昌俊教授、王椿芳研究员、傅育熙教授、王晓阳教授、缪淮扣教授、张健教授、李志斌教授、周傲英教授、***教授、曾振柄教授等专家出席了本次会议。会议由学术委员会主任周巢尘院士主持。上海市科委基地处副处长杨建群、华东师范大学副校长汪荣明、科技处处长张文、计算机科学与软件工程学院党委书记李恺、常务副院长王长波、副院长王晓玲、副院长蒲戈光、以及实验室部分研究人员等共计40余人出席了会议。

汪荣明副校长讲话

        会议上，汪荣明副校长对各位专家莅临指导表示由衷的感谢，首先介绍了学校计算机科学与软件工程学科的整合情况,并就实验室近几年在各方面取得的长足发展和系列出色成果表示祝贺。希望实验室再接再厉，在下一阶段的工作中实现新突破。

实验室年度工作汇报

        实验室常务副主任朱惠彪教授汇报了实验室一年来的主要工作进展情况。随后，实验室成员楼森岳教授、周俊博士分别作了典型成果报告。2015年，实验室在科学研究、队伍建设、国际交流与合作、运行管理等方面取得了显著成绩，在可信计算理论与方法等方面的研究取得了具有国际影响的进展，并在轨道交通、航天嵌入式系统、车联网等领域取得了阶段性应用成果。实验室主任何积丰院士还荣获法国国家棕榈教育骑士勋章，实验室外籍专家Jean-Raymond Abrial教授获得上海市国际科技合作奖；实验室积极探索实验室运行管理，在国际化方面取得了突破，教育部“可信软件国际合作联合实验室”批复建设，科技部“国家可信软件国际联合研究中心”获批成立。在网络空间安全建设方面取得新进展，对接国家安全战略，与普陀区人民政府合作共建网络空间安全研究院。

学术委员会成员合影

        学术委员会对实验室取得的成绩给予充分肯定，认为实验室在可信软件理论研究、国际合作方面成果显著，特色明显。同时对实验室的下一步建设与发展提出了指导性建议，指出实验室应进一步凝练研究方向、加强人才引进与培养以及科研团队建设，不断提升实验室竞争力。