高可信软件技术教育部重点实验室2024年工作会议于2024年12月13日上午在北京大学中关新园召开。
一、参加会议人员
参加本次会议的有科研部张存群副部长和基地建设办公室的陈健、杨潇宇、武健宇老师，重点实验室的成员，同时，香港分实验室主任黄锦辉教授和重点实验室成员樊文飞讲席教授在线上参加了会议并讲话。
二、会议内容
（一）会议开幕和工作报告
1.梅宏院士首先开幕致辞，对参加会议的人员表示欢迎和感谢。
2.学校和主管部门长期以来重视重点实验室的建设和发展，特别是近几年从人才引进、科研项目的立项、研究经费的争取、科研环境的改善、设备配置以及学术交流和国际合作、研究生培养指标等方面都给予了大力支持。本次会议科研部张存群副部长作了重要讲话，把国家和教育部有关重点实验室建设的政策规定及时宣讲，重点实验室明确进一步明确实验室发展方向。同时，对重点实验室的工作也给予了肯定和鼓励，鞭策了重点实验室今后继续努力。
3.金芝教授作了《重点实验室2024年度工作报告》，从科研、教学等各方面作了全面的总结和报告。
（二）青年学者作技术报告
近年来重点实验室引进了一批国家级优秀人才，并在本技术领域研究中取得了优异的成绩。本次会议青年学者作了如下技术报告：
1.张成：《基于分子活字印刷的大规模并行DNA存储》；
2.金鑫：《软件定义的服务器无感知计算系统》；
3.王迪：《开发与证明一体化的系统级编程语言》；
4.张文涛：《面向大模型的数据准备》
（三）自由发言
对重点实验室的建设和发展，与会人员群策群力、献计献策，进行了自由发言。
会议最后梅宏院士作了总结，重点实验室成员继续凝聚力量，进一步明确努力的方向，近期安排专题研讨。
梅宏院士致辞 会场 张存群副部长讲话 金芝教授作工作报告
张成作技术报告 金鑫作技术报告 王迪作技术报告 张文涛作技术报告
