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