1959年,畢業(yè)于德國耶拿大學(xué)數(shù)學(xué)系,獲得學(xué)士學(xué)位。
1959年,進(jìn)入中國科學(xué)院數(shù)學(xué)研究所工作,師從華羅庚院士。1978年起,擔(dān)任副研究員。
1980年 - 1987年,擔(dān)任中國科學(xué)院數(shù)學(xué)研究所計算機科學(xué)研究室主任。
1983年起,擔(dān)任中國科學(xué)院數(shù)學(xué)研究所研究員。
1984年起,擔(dān)任中國科學(xué)院數(shù)學(xué)研究所博士生導(dǎo)師。
1987年 - 1990年,擔(dān)任中國科學(xué)院數(shù)學(xué)研究所副所長。
1991年 - 1994年,擔(dān)任中國科學(xué)院數(shù)學(xué)研究所學(xué)術(shù)委員會主任。
1999年,當(dāng)選中國科學(xué)院院士。
2000年,擔(dān)任復(fù)旦大學(xué)計算機學(xué)院教授。
2002年 - 2003年,擔(dān)任復(fù)旦大學(xué)智能信息處理開放實驗室主任。
2004年,擔(dān)任復(fù)旦大學(xué)上海市智能信息處理重點實驗室學(xué)術(shù)委員會主任。
1972年 - 1974年,研制DJS-21機上Algol60編譯程序改進(jìn)版。
1975年 - 1981年,倡導(dǎo)并主持旨在軟件機械生成和自動移植的系列軟件計劃(XR計劃)。
1982年 - 1984年,設(shè)計并主持開發(fā)集邏輯過程和產(chǎn)生式于一體的模塊式知識工程語言TUILI。
1985年,在國際上率先研究異構(gòu)型分布式人工智能(DAI),把機器辯論引進(jìn)人工智能。
1987年 - 1990,主持國家七五攻關(guān)項目“專家系統(tǒng)開發(fā)環(huán)境”,研制大型專家系統(tǒng)開發(fā)環(huán)境——天馬。
1988年,提出Pseudo-Natural Language Understanding (PNLU, 類自然語言理解)方法。
1990年 - 1995年,提出一套全過程計算機支持動畫自動生成技術(shù)——天鵝。
1988年,榮獲“國家級有突出貢獻(xiàn)的中青年專家”稱號。
1993年,榮獲“國家科技進(jìn)步二等獎”。
2003年,榮獲“華羅庚數(shù)學(xué)獎”。
2014年,榮獲“中國計算機學(xué)會終身成就獎”。
2018年,榮獲“吳文俊人工智能最高成就獎”。