嘉宾预告|南大冯洋副教授重磅分享:AI时代可信编程,解锁Rust工程全新范式

AI大模型遍地赋能开发的当下，很多开发者都面临同一个核心困境：AI生成代码快、效率高，但不可控、不可信、隐患多。

自动补全、一键生成业务代码、智能脚本编写大幅提升研发效率，但逻辑漏洞、内存安全、隐式缺陷、合规风险随之暴增。尤其在具身智能、嵌入式智能、高可靠智能系统场景下，“能用”早已不够，安全、可信、可控、可验证，成为2026软件工程的核心刚需。

当大模型自由生成代码遇上高可靠工程场景，如何守住代码安全底线？大模型 + 程序分析 + Rust工程体系，正在成为AI可信编程的最优解之一。

本次2026工程师跨界沙龙「智驭未来·AI重塑软件工程新范式」，我们特邀南京大学计算机学院 冯洋副教授带来硬核主题分享，深度拆解AI时代可信编程的落地技术体系！