中国科学院院士，计算机软件专家，北京大学信息科学技术学院教授，博士生导师，软件工程国家工程研究中心首席科学家，软件与微电子学院理事长、名誉院长。主要从事系统软件、软件工程、软件工业化生产技术和系统等研究。曾获全国科学大会奖、国家科技进步二等奖、电子工业部科技进步特等奖、国家级教学成果奖一等奖等16项国家及部委级奖励，以及全国“三八”红旗手、全国高等学校先进科技工作者、国家重点科技攻关计划先进个人、“光华科技基金”一等奖、何梁何利科学与技术进步奖、中国计算机学会终身成就奖等。已发表论文150余篇，著作10余部，培养150余名硕士、博士和博士后。