各部门、各单位：

应我校科研处、计算机学院、陕西省网络数据分析与智能处理重点实验室邀请，许畅教授、崔西宁研究员、王海军教授、胡星副教授将于5月24日来我校做学术报告，欢迎广大师生参加！具体安排如下：

报告时间：2025年5月24日（周六）上午9:00

报告地点：东区逸夫楼FZ227

报告题目一：智能人机物系统安全：从验证、测试和调试的角度

该报告探讨从软件输入验证和编译测试的角度来保障智能人机物系统安全的途径。报告首先解读人机物融合系统的安全与软件的复杂性和可靠性、以及环境的非确定性之间的关系，接着分别介绍以高效输入验证来提升软件识别与处理异常环境的能力和以可靠编译测试来提升可生成有保障代码的工具能力，最后展望以智能化手段促进相关工作的前景。

报告人简介：许畅，南京大学计算机学院教授、博士生导师，国家级人才计划入选者、CCF系统软件专委副主任、ACM杰出会员。从事开放环境软件质量保障理论、方法与技术研究，在TOSEM、TSE、ICSE、ESEC/FSE和《中国科学》等国内外重要期刊和会议上发表论文多篇，曾获ACM SIGSOFT杰出论文奖五次、国际会议最佳论文奖三次、国家科技进步二等奖、CCF青年科学家奖和中创软件人才奖等。

报告题目二：智能时代的机载嵌入式操作系统

机载系统主要分为航空电子系统、飞行控制系统和机电管理系统，其特点是高可靠、高安全和强实时，对操作系统有特殊的要求。特别是航空电子系统已发展到高度综合化阶段，具有综合化模块化的特点，称为IMA架构，为了适应高度综合化航空电子系统，具有时间隔离和空间隔离的分区操作系统应运而生，天脉操作系统是一款满足GJB5357标准的具有自主知识产权的分区操作系统，已经广泛地应用在机载领域和相关其他嵌入式领域。近年来随着智能时代的到来，不管是有人机还是无人机，都插上了智能智慧的翅膀，在蓝天上翱翔，机载嵌入式操作系统也为机载智能系统提供支持，开发了机载智能计算栈。

报告人简介：崔西宁，工学博士，研究员，CCF杰出会员，CCF嵌入式系统、系统软件、软件工程专委会常委，CCF标准化工委委员，航空学会高级会员，先后主持和参加了多项预研、型号项目。在航电系统体系架构、容错重构、信息安全、嵌入式系统等多个领域有深入研究。发表论文50余篇，授权专利十余项，编写了集团标准十余项，工信部行业标准HB 5项，主编了《嵌入式系统设计师教程》。获航空学会一等奖1项，部级奖9项、集团级10项；荣立二等功2次，三等功5次。

报告题目三：面向行为预警和对抗性攻击生成的智能合约安全研究

随着区块链技术的快速发展，智能合约已在金融、溯源等领域获得广泛应用。然而，智能合约的安全漏洞频发，对整个区块链生态造成巨大的经济损失。传统智能合约安全研究主要集中在漏洞检测上，这些方法虽然一定程度上保障了智能合约的安全，但面对日益复杂和多变的攻击手段，仍显不足。本报告将从行为预警和对抗性攻击生成两个新角度阐述我们在智能合约安全方面的相关探索。首先我们针对去中心化金融攻击和诈骗代币两大类恶意行为展开研究，对攻击合约以及交易历史等角度对恶意行为进行分析建模，并提出对应的检测方案；随后我们将从攻击者的角度出发，通过生成能够触发合约潜在漏洞的对抗性攻击和对抗性合约（即攻击合约），对智能合约进行漏洞利用，检测潜在漏洞，实现智能合约的安全防护。

报告人简介：王海军，西安交通大学网络空间安全学院教授，博士生导师；主持和参与承担国家自然科学基金面上项目、区块链重点研发专项课题、陕西省高层次科技人才项目、蚂蚁集团定向项目、联通集团横向项目等课题；主要研究方向区块链安全、开源软件供应链安全，大模型驱动的网络安全等，相关成果在ICSE、FSE、ASE、ISSTA、Usenix Security、CCS、TSE、TDSC等高水平国际会议和期刊上发表论文40余篇，授权发明专利13项，作为主要参与者参与制定3项国家标准，获得2022年教育部自然科学一等奖，两项ACM SIGSOFT Distinguished Paper Award等。

报告题目四：大模型下软件工程的现状和展望

近年来，大模型展现出了强大的智能涌现能力，在自然语言处理等任务中表现出了出色的自主学习和推理能力。在软件工程领域，使用大模型提升软件开发效率，保障软件质量成为当前研究热点，例如Copilot集成了最新的大模型GPT-4并用于代码生成，许多研究工作利用大模型来检测漏洞等保障软件安全。本次报告聚焦大模型驱动的智能化软件工程，包括其在代码生成、测试生成、大模型漏洞管理相关的最新研究进展，并对未来的一些研究进行展望。

报告人简介：胡星，浙江大学软件学院副教授，主要研究方向为智能化软件工程，程序理解，软件仓库挖掘。在TOSEM、ICSE、ASE、FSE和EMSE等高水平会议和期刊上发表论文50余篇。担任TOSEM，JSEP期刊编委。主持国家自然科学基金专项培育项目，国家重点研发计划(青年)等多个科研项目。获得FSE2025 ACM SIGSOFT Distinguished Paper, ICSE2024 ACM SIGSOFT Distinguished Paper Award，MSR 2024 ACM SIGSOFT Distinguished Paper Award，ICPC 2018 ACM SIGSOFT Distinguished Paper Award。担任FORGE2024和Internetware2023程序委员会主席，担任国际级顶级期刊（TSE、TOSEM、EMSE）审稿人，受邀担任国际会议ASE、ICSE、FSE、ISSTA、MSR、ICSME、SANER的程序委员会成员。详情请参考个人主页：https://xing-hu.github.io。

特此通知。

科研处  计算机学院

2025年5月16日