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月，当选为中国科学院院士。
