1、四川省自然科学基金面上项目，No.24NSFSC1472，2024/01-2025/12，主持.

2、数学物理四川省青年科技创新研究团队, No.2022JDTD0019，2022/01-2024/12，参研

3、四川省科技厅应用基础研究项目，No.2020YJ0110，2020/01-2022/12，主持.

4、国家自然科学基金青年科学基金项目，No.11801389，2019/01-2021/12，主持.

5、系统可信性自动验证国家地方联合工程实验室重点项目，2020/01-2021/12，主持.

6、国家自然科学基金面上项目，No.11571128，2016/01-2019/12，参研.

7、国家自然科学基金青年科学基金项目，No.11201161，2013/01-2015/12，参研.

8、校级教改项目2项，主持.