人物經曆
1998，畢業于國防科技大學，獲博士學曆。
主要成就
主要榮譽與獲獎
2006年 國家科技進步二等獎（排名第3，“基于Internet、以構件庫為核心的軟件開發平台”）
2009年 北京市科學技術獎技術發明類二等獎（排名第1，“青鳥軟件質量保證支撐工具體系”）
2012年 教育部高等學校科學技術進步一等獎（排名第1，“可信軟件資源生産與共享環境Trustie-TSE”）
2015年 國家技術發明二等獎（排名第2，“基于網絡的軟件開發群體化方法及核心技術”）
科研成就
現任北京大學信息科學技術學院常務副院長，軟件研究所所長，教授，國家傑出青年基金獲得者，入選教育部新世紀優秀人才計劃、北京市科技新星計劃，獲“中創軟件人才獎”。
作為課題負責人，先後承擔了國家863計劃、科技支撐計劃、國家重點專項、北京市科委重點課題、國家自然科學基金委傑出青年基金等重點項目9項，參與973、863計劃、基金重點等課題5項。在軟件工程技術研發和國産軟件工具研發與産業化方面做出了重要的貢獻，主要成果在軟件行業、信息服務業、國防軍工領域、集成電路設計領域中廣泛應用。在FSE、POPL等軟件工程與程序語言領域頂級會議、主流會議和期刊上發表論文80餘篇。
社會任職
中國軟件行業協會理事、中國計算機學會高級會員，電子學報英文版編委。
