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年，榮獲“吳文俊人工智能最高成就獎”。
