中国科学院数学与系统科学研究院数学研究所研究员，中国科学院院士。在知识工程和基于知识的软件工程方面做了系统的、创造性的工作，是我国该领域研究的开拓者之一。著有210余万字的计算机理论著作《计算系统的形式语义》。