中国科学技术大学教授，博士生导师，脑启发感知与认知智能教育部重点实验室副主任，知识计算实验室主任。研究方向为（符号与连接）融合智能与前沿人工智能。原创做出部分蕴涵、遗忘公理体系、一阶回答集语义、断言逻辑、知识方程、3库2引擎的融合智能框架等工作，曾在人工智能顶级期刊Artificial Intelligence上发表6篇长文。