1986年09月至1991年07月,在中國科學技術大學計算機科學技術系大學本科學習。
1991年09月至1996年03月,在中國科學院研究生院計算機系統(tǒng)結構專業(yè)攻讀博士研究生,獲工學博士學位。
1996年03月至1997年06月,擔任中國科學院計算技術研究所助研究員。
1997年07月至2000年02月,擔任中國科學院計算技術研究所副研究員。
2000年03月至今,擔任中國科學院計算技術研究所研究員。
2008年,當選第十一屆全國人大代表(湖南)。
2012年,當選中共十八大代表。
2017年,當選中共十九大代表。
2024年03月,當選中國職業(yè)技術教育學會第六屆理事會副會長。
1995年,獲“中科院科技進步二等獎”。
1996年,獲“中科院院長獎學金特別獎”。
1999年,獲“全國首屆優(yōu)秀博士論文獎”。
2000年,獲“中科院盈科優(yōu)秀青年學者獎”、“中科院第五屆優(yōu)秀青年”稱號。
2018年,獲“CCF王選獎”。
2020年09月10日,榮獲“北京市突出貢獻中關村獎”。
此外,還曾獲第五屆“光華工程科技獎”、中國科學院“杰出成就獎”、中國科學院第七屆杰出青年“全國第七屆青年五四獎章”、中央國家機關“2000-2001年度杰出青年”。