1935年2月15日出生于上海，原籍江苏苏州，计算机科学家，中国科学院院士，中国科学院数学与系统科学研究院研究员，复旦大学教授、博士生导师。

1959年从德国耶拿大学数学系本科毕业；1999年当选中国科学院院士；2003年获得华罗庚数学奖；2018年获得吴文俊人工智能最高成就奖。

以人工智能、知识工程和基于知识的软件工程为主要研究方向，是中国该领域研究的开拓者之一，他在国际上率先研究异构型分布式人工智能（DAI），把机器辩论引进人工智能，设计并主持实现分布式逻辑推理和基于分布式推理的城市交通管理软件等成果应用。

先后获得中国科学院重大成果一等奖一项，中国科学院科技进步一等奖一项，国家科技进步二等奖一项。还获得科普创作一、二、三等奖，在第三和第四次中国科普作协代表大会上两次被评为“建国以来，特别是科普作协成立以来成绩突出的科普作家”。