米6米乐体育app官网

2022-04-02 14:13:35

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

1.jpg

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

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

2.jpg

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

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

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

3.jpg

石牌校区会场

4.jpg

南海校区会场



米6米乐体育app官网(中国)有限公司