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