中国科学院院士、中科智库审核委员会委员，计算机科学家， 中国科学院数学与系统科学研究院研究员。主要从事人工智能、 知识工程和基于知识的软件工程研究，是中国该领域研究的开 拓者之一。