上海市高可信计算重点实验室第五届学术委员会第一次会议于11月29日在以诚为本赢在信誉9001cc中山北路校区召开。本次会议以线上线下结合的方式进行，吕建院士、陆汝钤院士、陈国良院士、王怀民院士、王小云院士、胡事民院士、郭雷院士等近二十位实验室学术委员会委员及顾问出席。以诚为本赢在信誉9001cc校长助理吴健教授出席会议并致辞，校科技处、以诚为本赢在信誉9001cc领导班子及实验室骨干教师代表参加了会议。会议由实验室学术委员会主任吕建院士主持。

吴健教授在致辞中对各位专家表示热烈欢迎和诚挚感谢，介绍了滴水湖国际软件学院的成立背景以及学校将在临港新片区成立新校区的新部署。回顾过去一年，对实验室在学术研究、行业示范应用等领域取得的显著成就，吴健教授表示学校将继续坚定不移地支持实验室的发展，期待新一届学术委员会能为实验室的长远发展指引方向，共同为服务国家和上海市的战略需求贡献力量。

会上，吴健教授为新一届学术委员会成员及顾问颁发了聘书。

实验室主任邓玉欣汇报了实验室一年来的主要工作进展情况，包括研究进展与成果、国内外学术交流、人才培养与引进、运行管理机制，以及实验室下一阶段工作重点与目标等。2024年，上海市高可信计算重点实验室在形式语义理论、密码理论等方面取得了显著突破，在可信计算方法、模型检查技术等方面取得了关键进展，特别是在“安全可信嵌入式软件”领域，成功研发了具有完全自主知识产权的高安全嵌入式控制软件开发环境，不仅实现了对三款国外关键软件开发工具的替代和超越，还形成了国内首款覆盖嵌入式控制软件全生命周期的模型驱动开发基础软件工具集，该成果荣获“2023年上海市技术发明一等奖”，进一步提升了实验室在国际可信计算领域的影响力。

会上，实验室两位青年教师李建文、万成城做了代表性学术成果汇报。报告后，专家们对实验室的工作展开了讨论，为今后的发展方向和建设目标提出意见和建议。

学术委员会认为，一年来实验室在科学研究、队伍建设、学术交流与合作、产学研合作、运行管理等方面取得了显著成效。实验室聚焦研究方向，开展有组织的科研，在高安全嵌入式软件建模、验证、测试，以及密码算法分析与隐私计算等方面取得了具有国际影响力的进展，服务航天、交通等重要领域，建设可信人工智能特色方向，并在人才培养和学生科研创新方面取得佳绩。

学术委员会充分肯定了实验室所取得的成绩，并建议把握可信计算新的发展趋势，聚焦研究方向，注重理论、工具与应用的紧密联系，凝练亮点，形成标志性的成果，更好地服务上海，特别是临港地区以及国家在重点行业的科研需求。