5月8日（周三）

沙龙主题：智能计算与安全

时间：18:00-21:00

地点：图文中心3楼学习研讨区

主持人：王晖 副教授

报告题目1：基于Koopman算子的非线性有限脉冲响应状态估计

摘要：在状态估计领域，有限脉冲响应（FIR）估计能够克服全局递推结构鲁棒性差的缺陷，并具备抗干扰、有界输入输出稳定等优点。然而，目前的FIR估计在面对非线性系统时面临挑战。Koopman算子是一种领先的数据驱动嵌入，其特征函数能够提供全局线性化动态的内在坐标，这为解决非线性FIR滤波问题打开了新的线性框架思路。

主讲人：潘志超，浙江师范大学计算机科学与技术学院讲师。2017年6月获江南大学电子信息工程专业学士学位，2024年1月获得江南大学控制科学与工程专业博士学位。2021年3月至2023年3月受国家留学基金委资助赴加南大阿尔伯塔大学联合培养。研究方向包括状态估计与故障诊断，非线性动态系统，变分贝叶斯推断以及深度学习。博士期间共发表论文8篇,其中在Automatica等国际期刊上以第一作者发表SCI论文5篇。

报告题目2：图修改问题的参数算法研究

摘要：图修改问题的参数算法研究是理论计算机领域的一个重要在研方向。本报告将首先介绍图修改问题在参数算法领域的研究现状，并深入介绍一类重要的图修改问题，即H-free图修改问题的前沿研究。H-free图修改问题是指对图进行修改后使得图中没有诱导的H。该问题目前是图修改问题中最为重要的一类问题，且仍有很多公开问题。

主讲人：袁汉春，浙江师范大学计算机科学与技术学院。博士，男，1994年生，2023年毕业于中南大学计算机学院。在NP难解问题，尤其是图修改问题的细粒度复杂性算法设计方面有较为丰富的研究经验。主要研究方向为图修改问题上的参数算法和近似算法设计，曾在SCIENCE CHINA Information Sciences、TCS、MFCS等国际期刊会议发表论文5篇。

报告题目3：大模型：安全领域的机遇与挑战

摘要：大模型的出现，为网络安全领域带来了重大的机遇与挑战。一方面，大模型凭借其强大的学习能力和语义理解能力，在安全纵深防御中展现出巨大的应用前景。大模型可以准确地检测出潜在的网络威胁、提升漏洞自动化检测与修复效率、自动化地进行日志分析和异常检测为安全团队提供全面实时的安全视角。另一方面，大模型自身也面临着诸多安全挑战。如何保障数据隐私、避免推理结果失真、知识产权保护、禁止违法内容生成等都是亟需研究的课题。总之，大模型为网络安全领域带来了前所未有的发展机遇，但同时也对传统的安全理念与技术提出了新的挑战。

主讲人：钟鸣，浙江师范大学计算机科学与技术学院讲师。男，硕士生导师，博士毕业于浙江大学，师从陈刚教授，目前为彭浩教授团队成员。研究方向为网络安全（恶意软件；模糊测试；系统安全）、人工智能安全（模型安全；内容安全）、舆情分析，在IEEE TDSC、IEEE TIFS等期刊发表学术论文十余篇，主持多项省部级及横向课题，参与国家重点研发及省重大项目等。担任CCF YOCSEF杭州学术委员及多个期刊/会议审稿人，担任校网络安全创新工作室指导教师。