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