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