汉族，1962年12月生，黑龙江哈尔滨人，1986年1月加入中国共产党，1987年9月参加工作，研究生学历，工学博士，教授，中国科学院院士。

现任第二十届中央委员，教育部党组书记、部长。

1984年从吉林工业大学（现吉林大学）计算机系毕业；1987年获得哈尔滨工业大学硕士学位；1993年从北京航空航天大学计算机科学与工程系计算机软件专业毕业，师从李未教授，并获得工学博士学位。1986年1月，加入中国共产党。2009年当选中国科学院院士。

主要从事网络化软件技术与系统研究工作。提出了网络资源的可信聚合与调度方法，主持研制的系统实现了分布资源的可信共享和利用，为提高分布计算能力提供了实用系统；提出了安全协议分析的代数理论和算法，主持研制了协议自动分析与验证系统；提出了过程类软件自动开发方法和技术，主持研制的软件生产工具提高了面向领域的应用软件开发效率和质量。1995年前主要从事逻辑推理与智能数据库研究，他解决了缺省逻辑和限制逻辑中缺乏知识更新与进化机理问题，给出了ATMS的语义和递归查询算法。

以第一完成人获得国家技术发明二等奖1项，国家科技进步奖二等奖2项，部级一等奖5项；获得国家发明专利19项。