在 AI 系统与高性能计算飞速发展的今天，“并发” 已成为现代软件系统的核心特征。并发机制能够提升系统性能与资源利用效率，也带来共享访问冲突与弱内存一致性等问题，使程序更难构建且更易出错。
- 如何让并发程序既快又稳？
- 形式化验证如何从“理论”走向“工程落地”？
今晚（8月10日）20:00， 2026 夏季 InfiniTensor 训练营特邀清华大学长聘副教授、博士生导师贺飞老师，带来《并发程序形式化验证：方法、挑战与能力扩展》专题分享，分享相关技术进展与工程实践思考。
讲师介绍
贺飞 | 清华大学长聘副教授，博士生导师
主要从事程序验证、模型检验和自动推理的研究。
- 开发的程序验证工具曾四次斩获国际软件验证大赛并发验证赛道冠军。
- 在形式化方法、程序语言和软件工程重要国际会议和期刊上发表论文 100余篇。
- 入选国家高层次青年人才计划，获“中创软件人才奖”。
- 曾获并行编程顶会 PPoPP 2022 最佳论文奖、软件工程顶会 ICSE 2026 & ASE 2018 杰出论文奖、形式化方法会议 SETTA 2022 最佳论文奖等。
课程亮点
在本次大咖课中，贺飞老师将结合前沿研究与工程实践，围绕并发程序形式化验证展开分享：
1️⃣ 梳理并发程序形式化验证的关键技术；
2️⃣ 剖析并发程序形式化验证面临的主要挑战；
3️⃣ 探讨程序形式化验证在性能优化与语言级并发安全增强方面的扩展作用。
课程直播信息
📅直播时间：8 月 10 日（周一） 20:00
🖥️参与方式：
InfiniTensor 官网： https://www.infinitensor.com
B 站直播： InfiniTensor 官方直播间
视频号直播： InfiniTensor 视频号
⬇️扫描下方二维码加入训练营官方社群
欢迎参与本次大咖课，与贺飞老师一起了解并发程序形式化验证的前沿技术与实践探索！
关注与交流
