现工作于北京航空航天大学计算机学院、软件开发环境国家重点实验室。200口格马领特台曾2年获"全国百篇优来自秀博士论文"奖。2005年入360百科选北京市科技新星计划。主持或作为学术骨干参与了国家自然科学基金、973和国家攀登计划历身始歌等科研项目。现担任了一项973项目的首席科学家助理和秋兴半章你即项目专家组成员。主要从事算法与计算复杂性和数据挖掘等方面的考研究工作，提出并研究了具有精确相变和难解实例的CSP模型RB。