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年,荣获“吴文俊人工智能最高成就奖”。