人物經歷
2008年7月畢業於中國科學院計算技術研究所，獲工學博士學位，桂林電子科技大學教授。
研究方向
目前研究興趣包括語義Web與Web服務，知識表示與推理，智慧型規劃，形式化方法。
主要貢獻
作為主要成員參與完成了973、863、國家科技支撐計畫、國家自然科學基金等項目共6項。目前主持國家自然科學基金項目、軟體工程國家重點實驗室開放基金項目、廣西可信軟體重點實驗室基金項目各1項。在包括《Journal of Automated Reasoning》、《計算機學報》、《軟體學報》、《計算機研究與發展》、《模式識別與人工智慧》等在內的著名期刊和重要會議上發表論文30餘篇，SCI、EI收錄20餘篇。擔任《計算機學報》、《計算機科學》等期刊的審稿人，國家自然科學基金項目評審人，廣西科技項目評估諮詢專家。
