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