2021年10月14日，上海市高可信计算重点实验室第四届学术委员会第四次会议以线上线下（上海苏宁环球万怡酒店）结合的方式召开。部分学术委员会委员和顾问、华东师范大学校领导、科技处领导、beat365手机中文官方网站领导及实验室部分人员出席了会议，华东师范大学周傲英副校长致欢迎辞。

线上出席会议的学术委员和顾问有：陈国良、应明生、蒋昌俊、高小山、金芝、李宣东，线下出席的学术委员和顾问有：王怀民、陆汝钤、何积丰、傅育熙、王晓阳、缪淮扣、王椿芳、张激、张健、周傲英、李志斌等人，会议由学术委员会主任王怀民主持。

参会人员合影

会上，实验室主任邓玉欣汇报了实验室一年来的主要工作进展情况，包括实验室研究进展与成果、国内外学术交流、人才培养与引进、实验室运行管理机制，以及实验室下一阶段工作重点与目标等。

实验室主任邓玉欣教授作工作总结报告

实验室成员李建文、巩俊卿两位青年教师做了代表性学术成果汇报。

实验室成员巩俊卿老师作代表性成果报告

实验室成员李建文老师作代表性成果报告

报告后，学术委员会委员和顾问对实验室一年来的工作展开了讨论。为实验室今后的发展方向和建设目标提出意见和建议。

一年来，实验室在科学研究、队伍建设、学术交流与合作、产学研合作、运行管理等方面取得了显著成绩。在可信计算的理论、方法、技术等方面，特别是在程序设计理论、密码理论、软件形式化建模与验证等方面取得了具有国际影响的进展，在用形式化方法解决领域软件的可信性方面取得实际成效，在人工智能系统可信验证、移动应用软件安全、量子计算软件等研究方面积极开拓，开展了有益的探索。实验室从海内外引进了多名优秀青年人才，强化了实验室人才队伍建设。

学术委员会充分肯定了实验室所取得的成绩，并建议发挥传统优势，进一步聚焦研究方向，注重理论、方法与应用的紧密结合，形成标志性的成果，服务国家和上海市的科技发展战略。