计算机科学家，主要从事知识工程和基于知识的软件工程领域研究。1935年2月15日生于上海。1959年毕业于德国耶拿大学数学系，获学士学位。1999年当选为中国科学院院士。