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