1985年,清華大學計算機系畢業(yè)。
1988年,獲國防科學技術大學計算機系碩士學位。
1988年起,留校工作,歷任助教、講師、高級工程師、研究員、副所長、副院長、院長。
2010年12月28日,受銜晉升少將軍銜。
2015年,當選為中國工程院院士。
參加銀河2至銀河5四代巨型機的研制,主持天河一號、天河二號的研制,主持麒麟操作系統(tǒng)的研制。
曾任“核心電子器件、高端通用芯片與基礎軟件”重大專項論證專家組副組長、“十五”863計劃“軟件重大專項”專家組組長、共創(chuàng)軟件聯(lián)盟理事長等職務。
2004年,榮獲“中國青年科技獎”。
先后成為軍隊高層次科技創(chuàng)新人才工程科技領軍人才培養(yǎng)對象和“新世紀百千萬人才工程”國家級人選。
此外,榮獲“光華獎”、“求是獎”、“中國計算機學會王選獎 ”等榮譽。