目前研究团队承担的科研项目：
① 国家自然科学基金,面向装配规划的领域知识表示及推理研究,2010-2012

② 国家自然科学基金,基于描述逻辑和模型检测的行动理论研究,2010-2012

③ 国家自然科学基金,基于依赖公式抽象的软件模型检测研究,2007-2009

④ 广西自然科学重点基金,基于符号OBDD的装配序列规划研究,2008-2010

⑤ “离散数学”国家级精品课程负责人

⑥ “计算机核心基础课程”国家级教学团队负责人

近年来主持国家863计划项目、国家自然科学基金、*科研项目*、*科研项目*、中澳国际合作项目、教育部留学回国人员基金等30余项。