1986年09月至1991年07月,在中国科学技术大学计算机科学技术系大学本科学习。
1991年09月至1996年03月,在中国科学院研究生院计算机系统结构专业攻读博士研究生,获工学博士学位。
1996年03月至1997年06月,担任中国科学院计算技术研究所助研究员。
1997年07月至2000年02月,担任中国科学院计算技术研究所副研究员。
2000年03月至今,担任中国科学院计算技术研究所研究员。
2008年,当选第十一届全国人大代表(湖南)。
2012年,当选中共十八大代表。
2017年,当选中共十九大代表。
2024年03月,当选中国职业技术教育学会第六届理事会副会长。
1995年,获“中科院科技进步二等奖”。
1996年,获“中科院院长奖学金特别奖”。
1999年,获“全国首届优秀博士论文奖”。
2000年,获“中科院盈科优秀青年学者奖”、“中科院第五届优秀青年”称号。
2018年,获“CCF王选奖”。
2020年09月10日,荣获“北京市突出贡献中关村奖”。
此外,还曾获第五届“光华工程科技奖”、中国科学院“杰出成就奖”、中国科学院第七届杰出青年“全国第七届青年五四奖章”、中央国家机关“2000-2001年度杰出青年”。