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