1959年,畢(bi)業于德(de)國耶拿大學(xue)(xue)數學(xue)(xue)系(xi),獲得學(xue)(xue)士學(xue)(xue)位。
1959年,進入(ru)中國科學(xue)院數(shu)學(xue)研究所工作,師從華羅庚院士。1978年起,擔(dan)任副(fu)研究員。
1980年 - 1987年,擔任(ren)中國(guo)科學院數學研(yan)究所計算機科學研(yan)究室主任(ren)。
1983年(nian)起,擔任中國科學院數學研究所研究員。
1984年起(qi),擔任中國科學(xue)(xue)院數學(xue)(xue)研(yan)究所博士生導師。
1987年 - 1990年,擔任中國科學院(yuan)數學研究所副所長。
1991年(nian) - 1994年(nian),擔(dan)任(ren)中國(guo)科學(xue)院(yuan)數學(xue)研(yan)究所學(xue)術委員會主任(ren)。
1999年,當選中國(guo)科學院院士。
2000年,擔任復旦大學計算機學院教(jiao)授(shou)。
2002年 - 2003年,擔任復旦大學(xue)智能信息處理開放實驗室主任。
2004年,擔(dan)任復旦大(da)學(xue)上海市智能信息處理重點實驗室學(xue)術委員會主(zhu)任。
1972年 - 1974年,研制DJS-21機上Algol60編譯程序改(gai)進版。
1975年 - 1981年,倡導并(bing)主(zhu)持旨在軟件機(ji)械生成和自動移植(zhi)的系列軟件計劃(XR計劃)。
1982年 - 1984年,設計并主持開發集邏輯過程和(he)產生式于一體的模塊式知識工程語言TUILI。
1985年,在(zai)國際(ji)上(shang)率先研究異構型分布式人工智能(DAI),把機器辯論引進人工智能。
1987年 - 1990,主持國家七五攻關(guan)項目“專家系統開(kai)發(fa)環境”,研制大型專家系統開(kai)發(fa)環境——天馬。
1988年(nian),提(ti)出Pseudo-Natural Language Understanding (PNLU, 類自然語言理解)方法。
1990年(nian) - 1995年(nian),提出一套全過程計算(suan)機支(zhi)持動畫(hua)自動生成技術(shu)——天鵝。
1988年,榮獲“國(guo)家級(ji)有突出貢獻的中青年專家”稱(cheng)號。
1993年,榮獲“國家科技進步二(er)等獎”。
2003年(nian),榮獲“華羅(luo)庚(geng)數學獎(jiang)”。
2014年(nian),榮獲“中國(guo)計算機(ji)學會終身成就(jiu)獎”。
2018年,榮獲“吳文俊人工智能最高成就獎”。