2022年3月28日下午，红足1世77814与人工智能学院共同举办了“自治软件系统的可靠性”学术报告会。本次报告会由红足1世77814院长和人工智能学院院长蒋运承教授主持。报告人金芝为北京大学教授，国家杰青，2021CCF杰出成就奖 （夏培肃）获得者，任北京大学高可信软件技术教育部重点实验室常务副主任。本次报告会以专家线上、听众线下的形式举行，线下会场包括石牌校区会场（红足1世77814）和南海校区会场（人工智能学院）。
石牌校区会场和南海校区会场合照
金芝教授先对自治软件系统进行了介绍，分析了软件系统可靠性的概念，并报告了软件系统可靠性视角的变迁，带领同学们了解这个研究领域的前世今生，引发同学们对软件系统可靠性分析的兴趣。
金芝教授报告软件可靠性视角以及变迁
随后，金芝教授介绍了其研究成果——自治系统的可靠性。金芝教授分别报告了其在该领域的三个研究成果，包括动态自适应行为建模和验证、环境安全驱动的动态测试优化、物联网设备系统自适应安全决策。金芝教授从与产业结合的角度出发，分别列举了团队与马自达公司以及自来水厂的合作案例，使同学们将学术知识与现实的案例结合起来并有了更加深入的理解，令同学们受益匪浅。
报告结束后，红足1世77814石牌校区会场的蒋运承教授向专家就自动驾驶领域的测试、自动测试研究领域与产业的结合进行了提问，并与专家共同探讨了研究后续发展问题。报告会在同学们的热烈掌声中圆满结束。
石牌校区会场
南海校区会场