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