2026年4月17日下午，网络空间安全学院（计算机学院）“行知论坛”在翠柏校区网安楼405顺利举行。本次论坛特邀美国犹他大学计算机博士赵鲁担任主讲嘉宾，围绕“软件安全分析及其与大模型的融合”作专题报告。学院师生代表近五十人到场聆听，现场学术交流氛围浓厚。
赵鲁博士结合自身12年硅谷顶级高科技公司任职经历，系统介绍了代码安全审计工具Fortify SCA、内存安全形式化验证工具SecVerifier等核心产品的研发历程与技术突破。他重点分享了大模型时代下软件安全分析的新趋势，通过华为内部代码安全、LLVM全球开发者大会、美国国家技术标准局等权威平台的实践案例，深入剖析了动态编程语言安全审计工具JSA在污点传播路径跟踪、形式化与大模型结合应用于自动生成代码的安全验证等领先技术，为在场师生呈现了一场兼具理论深度与实践价值的学术盛宴。
本次论坛不仅搭建了高水平的学术交流平台，更激发了师生对软件安全前沿技术的探索热情。学院将持续打造“行知论坛”品牌，推动产学研深度融合，为培养新时代网络安全人才注入新动能。
