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