2022-04-02 14:13:35

2022年3月28日下午,计算机学院与人工智能学院共同举办了“自治软件系统的可靠性”学术报告会。本次报告会由计算机学院院长和人工智能学院院长蒋运承教授主持。报告人金芝为北京大学教授,国家杰青,2021CCF杰出成就奖 (夏培肃)获得者,任北京大学高可信软件技术教育部重点实验室常务副主任。本次报告会以专家线上、听众线下的形式举行,线下会场包括石牌校区会场(计算机学院)和南海校区会场(人工智能学院)。

1.jpg

石牌校区会场和南海校区会场合照

金芝教授先对自治软件系统进行了介绍,分析了软件系统可靠性的概念,并报告了软件系统可靠性视角的变迁,带领同学们了解这个研究领域的前世今生,引发同学们对软件系统可靠性分析的兴趣。

2.jpg

金芝教授报告软件可靠性视角以及变迁

随后,金芝教授介绍了其研究成果——自治系统的可靠性。金芝教授分别报告了其在该领域的三个研究成果,包括动态自适应行为建模和验证、环境安全驱动的动态测试优化、物联网设备系统自适应安全决策。金芝教授从与产业结合的角度出发,分别列举了团队与马自达公司以及自来水厂的合作案例,使同学们将学术知识与现实的案例结合起来并有了更加深入的理解,令同学们受益匪浅。

报告结束后,华南师范大学石牌校区会场的蒋运承教授向专家就自动驾驶领域的测试、自动测试研究领域与产业的结合进行了提问,并与专家共同探讨了研究后续发展问题。报告会在同学们的热烈掌声中圆满结束。

3.jpg

石牌校区会场

4.jpg

南海校区会场