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