- [1] 面向复杂开源联盟链间多层次跨链需求的安全隐私跨链技术研究2024/10/01-2025/09/01
- [2] 开源联盟链隐私保护协议的UC安全性研究2024/10/01-2025/09/01
- [3] 补贴策略的博弈分析联合创新组2017/05/01-2019/06/01
- [4] 网络广告拍卖的博弈理论和计算方法的研究2017/01/01-2021/12/01
- [5] M-可解性、M-计算复杂性与计算机科学的模型理论2011/01/01-2014/12/01
- [6] M-可解性、M-计算复杂性与计算机科学的模型理论2011/01/01-2014/12/01
- [7] 无限状态系统的验证问题研究-可信软件理论、方法集成与综合试验平台2013/02/01-2016/12/01
- [8] 计算机科学的结构与核心基础理论2011/06/01-2013/05/01
- [9] 微软联合重点实验室2011/01/01-2013/12/01
- [10] 多线程程序语言的程序分析研究2010/04/01-2012/12/01