許可

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