2021年7月1日,北京大学金芝老师来到北航,与老师和同学们进行了一场关于软件可靠性的交流。
下午四点,讲座在新主楼G610开展。金芝老师就《软件系统可靠性:概念的演进》为主题,从三个方面开展了介绍和交流。金老师首先从软件系统可靠性出发,对可靠性的概念,设计策略及计算系统的演化等方面进行了介绍。接着介绍了软件可靠性关注点的变迁以及可靠性的系统观。讲座结束后,现场的老师同学与金老师就软件可靠性,问题框架分析等问题进行了深入的交流。
当天的讲座交流持续将近两个小时,约有40人参与了讲座与交流。各位参会的老师与同学表示,本次交流活动让我们拓宽视野、受益匪浅。
个人简介:金芝,北京大学教授, 973项目首席科学家。任北京大学高可信软件技术教育部重点实验室常务副主任,国务院学位委员会学科评议组成员(软件工程),中国计算机学会会士与常务理事,中国计算机学会软件工程专业委员会主任,任IEEE TSE Associate Editor,IEEE TR Associate Editor,《软件学报》执行主编,《计算机学报》副主编。主要研究领域包括:软件需求工程、知识工程、和知识服务等,出版英文专著3部,中文编著1部,发表论文180余篇。2006年获得国家杰出青年科学基金资助。