1959年，毕业于德国耶拿大学数学系，获得学士学位。
1959年，进入中国科学院数学研究所工作，师从华罗庚院士。1978年起，担任副研究员。
1980年 - 1987年，担任中国科学院数学研究所计算机科学研究室主任。
1983年起，担任中国科学院数学研究所研究员。
1984年起，担任中国科学院数学研究所博士生导师。
1987年 - 1990年，担任中国科学院数学研究所副所长。
1991年 - 1994年，担任中国科学院数学研究所学术委员会主任。
1999年，当选中国科学院院士。
2000年，担任复旦大学计算机学院教授。
2002年 - 2003年，担任复旦大学智能信息处理开放实验室主任。
2004年，担任复旦大学上海市智能信息处理重点实验室学术委员会主任。
1972年 - 1974年，研制DJS-21机上Algol60编译程序改进版。
1975年 - 1981年，倡导并主持旨在软件机械生成和自动移植的系列软件计划（XR计划）。
1982年 - 1984年，设计并主持开发集逻辑过程和产生式于一体的模块式知识工程语言TUILI。
1985年，在国际上率先研究异构型分布式人工智能（DAI），把机器辩论引进人工智能。
1987年 - 1990，主持国家七五攻关项目“专家系统开发环境”，研制大型专家系统开发环境——天马。
1988年，提出Pseudo-Natural Language Understanding （PNLU, 类自然语言理解）方法。
1990年 - 1995年，提出一套全过程计算机支持动画自动生成技术——天鹅。
1988年，荣获“国家级有突出贡献的中青年专家”称号。
1993年，荣获“国家科技进步二等奖”。
2003年，荣获“华罗庚数学奖”。
2014年，荣获“中国计算机学会终身成就奖”。
2018年，荣获“吴文俊人工智能最高成就奖”。
