1959年，畢業于(yu)德國耶拿大學(xue)數學(xue)系，獲得學(xue)士學(xue)位。
1959年(nian)，進入中國科(ke)學院數學研究(jiu)所工作(zuo)，師從華羅(luo)庚(geng)院士。1978年(nian)起，擔任副(fu)研究(jiu)員。
1980年 - 1987年，擔(dan)任中國科學(xue)院數(shu)學(xue)研(yan)究(jiu)所計算機科學(xue)研(yan)究(jiu)室主任。
1983年起，擔任中國科(ke)學院數學研究所研究員。
1984年起，擔(dan)任中國科學院數學研(yan)究所博士(shi)生導師。
1987年 - 1990年，擔任中(zhong)國科學院(yuan)數(shu)學研究所(suo)副所(suo)長。
1991年 - 1994年，擔任中國科學院數學研究所(suo)學術(shu)委員會(hui)主(zhu)任。
1999年(nian)，當選中(zhong)國科學院院士。
2000年，擔任復旦(dan)大(da)學(xue)計算機學(xue)院教(jiao)授。
2002年(nian) - 2003年(nian)，擔(dan)任復旦大學(xue)智能(neng)信息處理開放(fang)實驗室主任。
2004年(nian)，擔任復(fu)旦大學上海市智能信息處理重(zhong)點實驗室學術委員會主任。
1972年 - 1974年，研制DJS-21機上Algol60編(bian)譯程序改進版。
1975年 - 1981年，倡導(dao)并主持旨在軟件機械生成和自動移植(zhi)的(de)系列軟件計(ji)劃（XR計(ji)劃）。
1982年 - 1984年，設計并(bing)主持開發集(ji)邏輯過程和產生式(shi)于一體的模塊式(shi)知識工程語(yu)言TUILI。
1985年，在國際(ji)上率先(xian)研究異(yi)構(gou)型分布式人工(gong)智(zhi)能（DAI），把機(ji)器辯論引進人工(gong)智(zhi)能。
1987年 - 1990，主持(chi)國家七五攻關項目“專家系統開(kai)發(fa)環境(jing)(jing)”，研制大型專家系統開(kai)發(fa)環境(jing)(jing)——天馬。
1988年，提出Pseudo-Natural Language Understanding （PNLU, 類自然語言理解）方(fang)法(fa)。
1990年 - 1995年，提出(chu)一套全過程計算機支持動畫自動生成(cheng)技術——天(tian)鵝。
1988年(nian)(nian)，榮獲(huo)“國(guo)家(jia)級有突出貢獻(xian)的(de)中青(qing)年(nian)(nian)專家(jia)”稱號。
1993年，榮獲“國(guo)家(jia)科(ke)技(ji)進(jin)步二等獎”。
2003年，榮獲“華羅庚(geng)數學獎”。
2014年，榮(rong)獲“中國計算機學會終(zhong)身成(cheng)就獎”。
2018年(nian)，榮獲(huo)“吳(wu)文俊人(ren)工(gong)智能(neng)最高成就(jiu)獎”。
雅戈爾
金利來
報喜鳥
戴爾
惠普
杰尼亞
Lily
歐米茄
浪琴
華為
