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