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