1972年12月,擔任八一磷(lin)肥廠工人。
1975年(nian),八一磷肥廠開(kai)辦 “七二一”工(gong)人大學(xue),負責教數(shu)學(xue)。
1978年02月(yue) - 1982年02月(yue),就讀于福州(zhou)大學計算(suan)機系(xi),并(bing)獲得計算(suan)機軟件專(zhuan)業(ye)學士(shi)學位。
1982年02月 - 1986年06月,就讀于中(zhong)國科學院(yuan)軟件研究所,并獲(huo)得計算(suan)機科學理論(lun)專業博士學位。
1986年06月,留在中(zhong)國科學院軟件研(yan)(yan)究(jiu)所工(gong)作,歷任(ren)助理(li)研(yan)(yan)究(jiu)員、副研(yan)(yan)究(jiu)員、研(yan)(yan)究(jiu)員、博(bo)士生(sheng)導師。
1986年09月 - 1987年12月,在英國(guo)愛丁堡大學計算(suan)機科學基礎實驗(yan)室從事(shi)博士后研究(jiu)。
1990年(nian)04月 - 1993年(nian)03月,擔(dan)任英國薩塞克斯大學(xue)(University of Sussex)研究院。
1999年(nian)11月(yue),當(dang)選為中國科學(xue)院(yuan)(yuan)院(yuan)(yuan)士。同年(nian),擔(dan)任中國科學(xue)院(yuan)(yuan)軟件所計(ji)算機科學(xue)國家重點(dian)實驗室主任。
2008年,當選(xuan)為第一屆中國計算機學會會士。
1996年,榮(rong)獲“中國科學院自然科學獎(jiang)一等(deng)獎(jiang)”。
1999年(nian),榮獲“國(guo)家(jia)級有突出(chu)貢獻的中青年(nian)專家(jia)”稱號(hao)、“國(guo)家(jia)自然科學(xue)獎二等獎”。
1999年11月,當選為中國科學院院士(shi)。