·Research Projects
- [1] 学术骨干，国家重点基础研究发展规划（973）项目：数学机械化方法及其在信息技术中的应用子项目，结题,
- [2] 学术骨干，国家自然科学基金面上项目：引入命题逻辑支持组合优化问题的求解——以图顶点染色问题为研究介质, 结题,
- [3] 学术骨干，国家自然科学基金面上项目：分布式多任务调度问题的建模与算法研究，结题,
- [4] 学术骨干，国家自然科学基金面上项目：等圆及长方体Packing与一般NP难度问题的高效能求解——拟物拟人算法，结题,
- [5] 负责人（PI），湖北省高等学校省级教学研究项目：计算机本科生国际化课程建设与人才培养的研究与实践，在研,
- [6] 负责人（PI），深圳市基础研究项目，基于机器学习的超大规模集成电路高效布图规划方法研究在研,
- [7] 负责人（PI），微软亚洲研究院联合研究基金：Uncovering Hidden Structure in Large Networks，结题,
- [8] 负责人（PI），湖北省自然科学基金面上项目：大型网络中局部社团与隐藏社团的结构研究，结题,
- [9] 负责人（PI），国家自然科学基金面上项目：四维时空高效利用的装箱调度问题，结题,
- [10] 负责人（PI），国家自然科学基金面上项目，基于糅合策略的超大规模集成电路布图规划问题的算法研究，在研,