许可
许可是一位在北京航空航天大学计算机学院、软件开发环境国家重点实验室工作的科学家。他在2002年获得了“全国百篇优秀博士论文”奖，并在2005年入选北京市科技新星计划。许可主持或作为学术骨干参与了国家自然科学基金、973和国家攀登计划等科研项目。他现在担任一项973项目的首席科学家助理和项目专家组成员。许可的主要研究方向是算法与计算复杂性和数据挖掘，他提出并研究了具有精确相变和难解实例的CSP模型RB。
基本简介
主持或作为学术骨干参与了国家自然科学基金、973和国家攀登计划等科研项目。现担任了一项973项目的首席科学家助理和项目专家组成员。主要从事算法与计算复杂性和数据挖掘等方面的研究工作，提出并研究了具有精确相变和难解实例的CSP模型RB。系列研究成果在重要期刊Journal of AI Research、Theoretical 计算机 Science和重要会议IJCAI上发表，受到了国际同行的好评，被国际知名学者撰写的Handbook和来自理论计算机科学、人工智能和离散数学等领域的国际重要期刊上的论文多次显著引用，并被包括国际著名学者在内的国际同行进一步发展或推广。以RB模型为基础所构造的算法测试集被广泛地下载，并应用于SAT、CSP和PB等国际算法竞赛。部分成果被美国Minnesota大学和加拿大Alberta大学等多所国外大学分别用于人工智能和算法等课程的教学工作。