首都师范大学物理学本科在读，研究方向主要是编程语言理论、类型论与形式化方法。现任中科院软件所 PLCT Lab J139 实习生导师，曾在 IDEA 研究院实习，参与国产语言 MoonBit 的编译器与自动化测试框架 QuickCheck 开发；另在 Rustica 项目中负责语言设计、形式验证与编译器实现。热衷于研究代数效应、函数式编程与类型系统等前沿方向，致力于探索计算与逻辑的统一基础。