个人简介：
副教授，博士，博士生导师，北航999策略白菜网站主站,999全讯白菜网关键基础软件所副所长。围绕约束求解方向，开展了一系列创新的学术研究工作。已入选中国科协青年人才托举工程、中国计算机学会（CCF）青年人才发展计划。迄今总计发表CCF-A类顶级论文50余篇，其中以第一作者或通讯作者身份发表CCF-A类论文20余篇。谷歌学术引用超过2000次。作为负责人主持多项科研项目，包括国家重点研发计划课题、国家自然科学基金项目等。候选人在国际知名约束求解竞赛（国际SAT求解竞赛、国际MaxSAT评测竞赛）中共获得了17次冠军，包括亚洲首冠。所提技术被国际知名学者（包括诺贝尔奖得主等）实际使用；研究成果被顶尖科技企业（包括国家电网、航天科工集团、华为、微软等）应用落地，有效提升关键系统软件的性能和可靠性。
主要研究方向：
