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