报告题目：大模型的安全构建与隐私风险
报告时间：2026年6月27日9:00-9:30
主讲人简介：陈恺，中国科学院信工所研究员、中国科学院大学教授、博士生导师，前沿创新与科教融合中心主任，网络空间安全防御全国重点实验室副主任，《信息安全学报》编辑部主任。入选国家高层次人才计划，获得过世界互联网大会全球青年领军者、中国科学院青年科学家奖、CCF-IEEE CS青年科学家奖、北京市科技奖杰出青年中关村奖、NASAC青年软件创新奖、北京市“杰出青年”基金、北京市智源青年科学家等多项荣誉。主要研究领域包括系统安全、人工智能安全。在IEEE S&P、USENIX Security、ACM CCS、NDSS、ICSE等高水平会议和期刊发表学术论文150余篇。担任中国计算机学会-网络与系统安全专委会副主任、系统软件专委会常委、计算机安全专委会常委、人工智能学会-人工智能与安全专委会常委等。主持国家自然科学基金重大研究计划项目、重点项目等。
报告摘要：随着大语言模型及其智能体在产业与社会中的广泛应用，其安全与隐私风险日益凸显。本次报告围绕大模型生命周期中的安全挑战，重点讨论：模型供应链安全，可能引入后门、污染数据、脆弱性等风险；大模型越狱与防御机制，介绍一种利用大模型内部状态变化的越狱防御机制；大模型智能体安全及其隐私泄露风险，例如推理过程中的用户隐私暴露，以及相关的缓解方法等。
报告题目：面向智能嵌入式系统的自动化设计
报告时间：2026年6月27日9:45-10:15
主讲人简介：胡铭，现任华东师范大学青年研究员，国家级青年人才，曾任新加坡南洋理工大学博士后研究员和新加坡管理大学研究科学家。目前在DAC、RTSS、TC、TCAD、ICSE、FSE、ISSTA等CCF-A类会议和期刊发表学术论文40余篇，其中以第一/通讯作者身份发表CCF-A类论文26篇，曾获ACM SIGSOFT杰出论文奖、CCF嵌入式专委会“博士学位论文激励计划”。研究方向包括可信软件、智能系统和可信人工智能。
报告摘要：随着嵌入式设备计算能力的不断提升和基础设施的日益完善，智能嵌入式系统在日常生活中得到了广泛应用。然而，随着系统规模和复杂性的增加，如何开展系统化的需求分析与设计，成为保障系统开发效率和质量的重要挑战。本报告总结了我们近年来在智能嵌入式系统自动化设计方面的研究进展，旨在为需求工程师和开发工程师提供支持，推动系统开发的规范化与高效化。
报告题目：大模型驱动的软件缺陷自动检测与修复技术
报告时间：2026年6月27日10:15-10:45
主讲人简介：姜佳君，天津大学英才副教授、博士生导师，软件理论系主任，CCF专业会员、CCF软件工程专委执行委员、副秘书长。2020年毕业于北京大学获得博士学位，主要研究领域为软件测试与分析，包括软件缺陷自动定位、缺陷自动修复、深度学习系统调试和程序变换等。主持和参与国家自然科学基金面上项目、天津市重点项目、国家重点研发计划项目等十余项。相关研究成果发表软件工程领域高质量会议和期刊论文三十余篇。获中国电子学会科学技术奖自然科学一等奖、IEEE TCSE杰出论文奖。担任ISSTA 2019志愿者主席、《软件学报》和《Journal of Software: Evolution and Process》专刊编委，长期担任领域权威期刊和会议审稿人。
报告摘要：软件缺陷的自动检测与修复是保障软件质量的两大核心任务。随着软件系统日趋复杂，传统依赖人工审查或静态分析的方法在效率、准确率和上下文理解方面逐渐暴露出明显瓶颈。近年来，大语言模型（LLM）凭借其卓越的代码理解与生成能力，为这一领域带来了突破性进展。本报告将介绍我们团队在大模型驱动的缺陷检测与修复方面的最新探索。首先，深入分析现有方法在缺陷检测与修复任务中面临的泛化能力弱、准确率低等关键挑战；在此基础上，详细阐述我们在这两个任务上的技术尝试与提出的创新方法，包括如何利用大模型增强上下文感知与代码语义理解。最后，讨论当前仍然存在的难点问题，希望能为构建更智能、更可靠的软件质量保障体系提供有益参考。
人工智能学院（软件学院）
2026年6月18日
