报告题目：智能化软件漏洞检测方法
报告摘要：软件数量、规模以及复杂程度的提升导致软件安全漏洞数量快速攀升。软件中的安全缺陷可能被攻击者利用，对国民经济、社会造成的重大损失。软件安全漏洞的检测技术发展和新型安全漏洞形态的产生和演化问题长期困扰软件开发和应用商：到底是道高一尺还是魔高丈？报告着重介绍如何利用大语言模型LLM技术，对已有软件缺陷数据进行学习，智能地发现软件代码中影响软件安全性的行为和特征，帮助软件分析人员发现软件漏洞和改善软件质量。
报告人简介：董云卫，西北工业大学软件学院教授、博士生导师，中国计算机学会杰出会员、中国计算机学会形式化方法专委会常委、IEEE高级会员。主要研究方向：智能软件工程理论与方法、智能软件测试、模型驱动开发方法和信息物理融合系统。先后主持国家和国防课题10余项，发表学术论文100余篇，出版专著2部。获得陕西省首届杰出青年人才奖、中国软件杰出人才提名奖、军事科技进步二等奖1项、陕西省科技进步等三等奖1项、国防科技三等奖2项奖和CCF科技进步二等奖2项。
报告时间：2025年6月6日14:30
报告地点：数学与统计学院四楼会议室
主办单位：湖北民族大学数学与统计学院
联系人：孙全
欢迎广大师生参加！