1. 国家自然科学基金青年科学基金项目(12301484)，2024年1月1日—2026年12月31日，主持

2. 四川省自然科学基金青年科学基金项目(2022NSFSC1815)，2022年1月—2023年12月，主持

3. 学院与系统可信性自动验证国家地方联合工程实验室重点项目(ZD20220106)，2022年3月—2024年3月，主持

4. 学院与系统可信性自动验证国家地方联合工程实验室重点项目，2020年1月—2021年12月，主持 (已结题).

5. 国家自然科学基金面上项目(11471122)，2015年1月—2018年12月，参研 (已结题)

6. 山东省自然科学基金面上项目(ZR2017MA050 )，2017年7月—2020年6月，参研 (已结题)

7. 山东省高校科技计划项目(J13LI53)，2013年7月—2016年7月，参研 (已结题)