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