1972年12月,擔(dān)任八一磷肥廠工人。
1975年,八一磷肥廠開辦 “七二一”工人大學(xué),負責(zé)教數(shù)學(xué)。
1978年02月 - 1982年02月,就讀于福州大學(xué)計算機系,并獲得計算機軟件專業(yè)學(xué)士學(xué)位。
1982年02月 - 1986年06月,就讀于中國科學(xué)院軟件研究所,并獲得計算機科學(xué)理論專業(yè)博士學(xué)位。
1986年06月,留在中國科學(xué)院軟件研究所工作,歷任助理研究員、副研究員、研究員、博士生導(dǎo)師。
1986年09月 - 1987年12月,在英國愛丁堡大學(xué)計算機科學(xué)基礎(chǔ)實驗室從事博士后研究。
1990年04月 - 1993年03月,擔(dān)任英國薩塞克斯大學(xué)(University of Sussex)研究院。
1999年11月,當(dāng)選為中國科學(xué)院院士。同年,擔(dān)任中國科學(xué)院軟件所計算機科學(xué)國家重點實驗室主任。
2008年,當(dāng)選為第一屆中國計算機學(xué)會會士。
1996年,榮獲“中國科學(xué)院自然科學(xué)獎一等獎”。
1999年,榮獲“國家級有突出貢獻的中青年專家”稱號、“國家自然科學(xué)獎二等獎”。
1999年11月,當(dāng)選為中國科學(xué)院院士。