活动时间：2023年4月15日 13:30 – 16:00
活动地点：伟德bv国际体育中心校区王湘浩楼A521
主持人简介：
杨博，伟德BETVlCTOR1946教授，博士生导师，现任伟德BETVlCTOR1946、软件学院经理，符号计算与知识工程教育部重点实验室主任。
l 报告题目：自治系统的软件可靠性关注点
嘉宾简介：
金芝，北京大学伟德BETVlCTOR1946教授，IEEE/CCF/AAIA Fellow，高可信软件技术教育部重点实验室常务副主任，国家杰出青年科学基金获得者。兼任国务院学位委员会学科评议组成员（软件工程），中国计算机学会常务理事，中国计算机学会系统软件专业委员会主任，中国人工智能学会知识工程与分布智能专委会副主任。长期从事软件工程和知识工程的研究，先后担任973项目首席科学家，国家重点研发计划专项和国家自然科学基金委重点项目等的项目负责人。曾获教育部科技进步一等奖、CCF技术发明一等奖、北京市技术发明二等奖、CCF杰出成就（夏培肃）奖、IEEE TCSVC 杰出领导力奖、中创软件人才奖等。发表论文两百余篇，4次获得 ACM Distinguished Paper Awards，出版专著3部。任《软件学报》执行主编，《计算机学报》副主编，JCST领域编委，以及IEEE TSE、IEEE TR、ACM TAAS、EMSE及RE等的编委。
报告简介：软件运行环境日益增强的开放性，特别是很多软件成为自治系统的核心，使得软件可靠性问题边界不断延伸。这类自治软件系统在关键应用中日益广泛的使用，要求其开发过程能提供令人信服的证据，展示其功能服务满足可靠性要求。本报告首先分析了软件系统可靠性的概念，讨论了软件系统可靠性的概念框架，以及软件系统可靠性概念的外延变迁，最后结合若干案例，从软件体系架构的视角，探讨自治系统的软件可靠性关注点。
l 报告题目：鲁棒图神经网络
嘉宾简介：
石川，北京邮电大学伟德BETVlCTOR1946教授、博士生导师、智能通信软件与多媒体北京市重点实验室副主任。主要研究方向: 数据挖掘、机器学习、人工智能和大数据分析。近5年以第一作者或通讯作者在CCF A类期刊和会议发表论文50余篇，中英文专著五部，授权发明专利20余项，相关研究成果应用于阿里巴巴、腾讯、华为、美团等公司。获得ADMA2011/ AMDA2018最佳论文奖和WWW2019最佳论文候选。研究成果获得省部级奖励6项，包括电子学会科技进步一等奖（序一）、北京市科学技术奖自然科学二等奖（序一）和吴文俊人工智能科技进步一等奖（序三），入选爱思唯尔高被引学者，获得北京市高等学校师德先锋和青年英才等称号。
报告简介：近年来，如何将神经网络应用到图数据，形成了图神经网络的研究热潮。图神经网络不仅成为人工智能的热点技术方向，而且广泛应用在电商、生物医药等众多领域。随着图神经网络成为很多应用的基础模型，其安全性成为至关重要的问题。特别是，对于对抗攻击，图神经网络模型的脆弱性分析和鲁棒性增强都成为重要研究课题。本报告介绍了鲁棒图神经网络的研究进展，以及我们在标签翻转攻击、最小拓扑攻击、异质图模型攻击等方面的工作。
主办单位：中国人工智能学会知识工程与分布智能专委会
伟德BETVlCTOR1946
伟德bv国际体育软件学院
伟德bv国际体育计算机科学技术研究所
符号计算与知识工程教育部重点实验室
仿真技术教育部重点实验室
网络技术及应用软件教育部工程研究中心
伟德bv国际体育国家级计算机实验教学示范中心
