上海市高可信计算重点实验室第五届学术委员会第二次会议于2026年1月10日在华东师范大学普陀校区办公楼小礼堂召开。本次会议采用线上线下相结合的方式举行。出席会议的包括实验室学术委员会委员、顾问专家，华东师范大学校领导、科技处、软件工程学院（滴水湖国际软件学院）负责人及实验室骨干教师代表。会议由学术委员会主任吕建院士和学校科技处处长杨海波教授主持。

华东师范大学党委常委、副校长程静代表学校，衷心感谢与会专家长期以来对实验室的悉心指导与大力支持，并对实验室在何积丰院士领导建设下取得的成果表示充分肯定。她指出，2026年是“十五五”规划的开局之年，希望重点实验室能够开好局、起好步、谱新篇，抓住人工智能发展的时代机遇，勇敢迎接挑战，持续推动创新，努力在高可信计算领域实现理论和技术的双重突破。学校也将一如既往全力支持重点实验室的建设和发展。

实验室主任张民汇报了实验室2025年度工作进展，围绕智能软件工程、可信人工智能、系统与软件安全、可信工业软件四个研究方向，重点介绍了代表性学术成果、人才培养成效和团队建设等情况。

会上，实验室青年教师邬海琴、王培新分别作学术报告。与会专家对实验室的工作展开了深入交流和讨论，并就未来发展方向和建设目标提出了建设性意见。

学术委员会认为，实验室能够准确把握人工智能时代高可信计算面临的机遇和挑战，在开展原始创新基础研究方面定位清晰，对拟攻关的前沿科学问题目标明确、方向聚焦。过去一年，实验室在科研创新、队伍建设、学术交流与合作、人才培养等方面均取得显著成效。学术委员会对实验室2025年度的工作与成果予以充分肯定。

委员会建议实验室立足国家战略部署，深刻理解全链条“基础软件”核心技术攻关的紧迫性与战略意义；进一步把握可信软件新的发展趋势，细化研究布局，加强四个研究方向间的系统整合与相互支撑；在科研中应注重前沿科学问题的凝练，鼓励学生参与开发和使用具有自主知识产权的软件工具和平台，将科研攻关、人才培养、成果产出贯穿融合，形成有机衔接、相互支撑的创新闭环。此外，委员会还建议实验室积极组织并承担重大攻关项目，以更好地服务上海与国家在重点行业领域对高可信计算的发展需求。

学院执行院长蒲戈光代表学院对与会专家和学校对上海市高可信计算重点实验室发展的指导和支持表示感谢。他表示，实验室将科学谋划“十五五”规划，积极争取国家级平台建设，构建从理论研究、技术攻关到产业应用的全链条高可信计算支撑体系。