专题演讲嘉宾：姜剑峰

本硕毕业于复旦大学计算机科学与技术学院，硕士期间主要从事 Rust 程序可靠性相关研究。目前任职于蚂蚁集团安全计算部门，从事应用于机密计算的系统软件的开发，Rust 是主力开发语言。关于 Rust 库模糊测试的论文曾经获得 ASE2021 的 ACM 杰出论文奖。