| Duration | Title | Funding | My role |
|---|---|---|---|
| 2023 ~ 2026 | 安全攸关软件的智能开发方法与支撑环境 | 国家重点研发计划项目 | 课题负责人 |
| 2024 ~ 2027 | 泛在操作系统的形式化建模与评估验证方法研究 | 国家自然科学基金-“叶企孙”科学基金（重点项目） | Co-PI |
| 2022 ~ 2026 | 面向智能制造的操作系统体系结构与自主安全内核 | 国家自然科学基金 重点项目 | Co-PI |
| 2025 ~ 2026 | 面向工业现场计算的泛在操作系统 | 浙江省“尖兵”计划项目 | 课题负责人 |
| 2021 ~ 2023 | 面向XXX的嵌入式实时操作系统 | 工信部重大专项 | 项目负责人 |
| 2022 ~ 2024 | 面向智能制造的场景操作系统研究 | 浙江省“尖兵”计划项目 | 课题负责人 |
| 2019 ~ 2022 | 符合工业标准的多核隔离内核形式规约与安全验证技术 | 国家自然科学基金面上项目 | 项目负责人 |
| 2019 ~ 2020 | 完全自主的物联网操作系统SylixOS | 工信部专项项目 | 项目负责人 |
| 2023 ~ 2024 | 电网感知设备的操作系统微内核开发 | 国家电网 | 项目负责人 |
| 2023 ~ 2024 | 设备嵌入式容器技术与操作系统研发 | 国家电网 | 项目负责人 |
| 2023 | 敏捷形式化验证算法研究 | 中国军事科学院 | 项目负责人 |
| 2022 ~ 2023 | 小米手机MiTEE OS形式化验证项目 | 小米集团(Xiaomi) | 项目负责人 |
| 2022 ~ 2023 | JAVA开源组件的形式化验证 | 中兴通讯(ZTE) | 项目负责人 |
| 2024 | 小米芯片核心软件的CC EAL5+安全评估 | 小米集团(Xiaomi) | 项目负责人 |
| 2022 ~ 2023 | 小米手机MiTEE的CC EAL5+安全评估 | 小米集团(Xiaomi) | 项目负责人 |
| 2023 ~ 2024 | 某航天嵌入式操作系统CC EAL5+安全评估 | 航天科工集团 | 项目负责人 |
| 2022 ~ 2023 | 中科海微SeaWayOS CC EAL5+安全评估 | 中科海微 | 项目负责人 |
| 2020 ~ 2021 | 元心微内核操作系统CC EAL5+安全评估 | 元心科技 | 项目负责人 |
| 2022 ~ 2023 | 中国移动 摄像头CC EAL3+安全评估 | 中国移动通信集团终端有限公司 | 项目负责人 |
| 2020 ~ 2022 | XXX操作系统内核形式化验证 | 大唐电信 | 项目负责人 |
| 2021 ~ 2022 | 华为海思形式化验证项目 | 华为技术有限公司(Huawei) | 项目负责人 |
| 2020 ~ 2021 | 华为云形式化验证项目 | 华为技术有限公司(Huawei) | 项目负责人 |
| 2020 ~ 2021 | 微内核操作系统形式化建模和验证 | 元心科技 | 项目负责人 |
| 2019 ~ 2021 | XXX操作系统形式化验证 | 中国军事科学院 | 项目负责人 |
| 2020 ~ 2021 | 高速飞行列车XXXX形式化验证 | 航天科工 | 项目负责人 |
| 2019 ~ 2020 | 通用安全策略框架(一期) | 蚂蚁集团(AntGroup) | 项目负责人 |
| 2021 ~ 2022 | 通用安全策略框架(二期) | 蚂蚁集团(AntGroup) | 项目负责人 |
| 2020 | 支持星载XXXX的形式化验证 | 航天五院 | 项目负责人 |
| 2020 | 星载嵌入式XXXX分析与验证 | 航天五院 | 项目负责人 |
| 2018 ~ 2020 | 航空天脉OS时间可预测性形式化验证 | ZF项目 | 课题负责人 |
| 2018 ~ 2019 | 载人航天工程安全关键软件形式化分析与验证技术 | 载人航天工程计划重点项目 | 项目负责人 |
| 2018 ~ 2019 | 统一建模语言的设计与实现 | 航天五院 | 项目负责人 |
| 2018 ~ 2019 | 航天SpaceOS形式化验证 | 航天五院 | 项目负责人 |
| 2017 ~ 2018 | 绿地物联网操作系统形式化验证 | 中兴通讯(ZTE) | 项目负责人 |
| 2014 ~ 2015 | 基于模型的安全关键软件开发工具研究 | 北京神舟航天软件技术有限公司 | 项目负责人 |
