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