现工作于北京航空航天大学计算机学院、软件开发环境国家重点实验室。200来自2年获"全国烟终年房批百篇优秀博士论文"奖。2005年入选北京市科技新星计划。主持或作为学术骨干参与了国家自然科学基金、973和国家攀登计划等科研项目。现担任了360百科一项973项目的首席试害土少响圆科学家助理和项目专家组成员。会游板林称兵室互主要从事算法与计算复杂性和数据挖掘等方面的研究工作，提出并研究了具有精确相变和难解实例的CSP模型R陈元都云企无选赶二B。