科研项目
在研项目：
面向安全攸关系统安全性验证的数学理论和分析方法（2022YFA1005102），科技部国家重点研发计划“数学和应用研究”专项：安全攸关软件框架验证的数学方法与应用，课题二负责人。
已结题项目：
面向程序验证的自动定理证明理论、方法与工具研究（项目批准号 61732001），国家自然科学基金重点项目
大规模概率并发实时系统模型检验（项目批准号 61532019），国家自然科学基金重点项目
复杂曲面流线场的保向共轭理论与线性化方法 (项目批准号 11290141), 国家自然科学基金重大项目 "基于流线场共轭映射的复杂曲面高精度数控加工新方法"
半代数系统的高效求解算法及其在不等式机器证明中的应用，国家自然科学基金面上项目
混成系统设计与验证中的符号计算方法和工具，中科院软件所开放课题
代数系统的准确可信计算，国家自然科学基金 国际合作与交流项目
基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证, 国家自然科学基金重大研究计划“可信软件基础研究”培育项目
基于计算机代数的嵌入式软件分析与验证方法及工具（重点项目），国家自然科学基金 重大研究计划
新世纪优秀人才支持计划 （NCET），教育部
Chinese-SALSA，法国INRIA研究所国际合作项目
实代数符号计算在形式化方法中的应用，国家自然科学基金面上项目
海量信息系统协同性随机模型与可生存性复杂性分析，国家973项目：海量信息的协同性和可生存性的理论与实践研究
实几何与实代数的高效能算法，国家973项目：数学机械化方法及其在信息领域中的应用
自动推理平台，国家973项目：数学机械化与自动推理平台