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