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年度杰出青年”。
