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