現工作於北京航空航天大學計算機學院、軟體開發環境國家重點實驗室。2002年獲“全國百篇優秀博士論文”獎。2005年入選北京市科技新星計畫。主持或作為學術骨幹參與了國家自然科學基金、973和國家攀登計畫等科研項目。現擔任了一項973項目的首席科學家助理和項目專家組成員。主要從事算法與計算複雜性和數據挖掘等方面的研究工作，提出並研究了具有精確相變和難解實例的CSP模型RB。系列研究成果在重要期刊Journal of AI Research、Theoretical Computer Science和重要會議IJCAI上發表，受到了國際同行的好評，被國際知名學者撰寫的Handbook和來自理論計算機科學、人工智慧和離散數學等領域的國際重要期刊上的論文多次顯著引用，並被包括國際著名學者在內的國際同行進一步發展或推廣。以RB模型為基礎所構造的算法測試集被廣泛地下載，並套用於SAT、CSP和PB等國際算法競賽。部分成果被美國Minnesota大學和加拿大Alberta大學等多所國外大學分別用於人工智慧和算法等課程的教學工作。
