怀进鹏简介

1980年07月，从哈尔滨市第九中学校毕业。

1980年09月-1984年09月，在吉林工业大学（现吉林大学）计算机科学与工程系计算机应用专业学习，并获得学士学位。

1984年09月-1987年09月，在哈尔滨工业大学电气工程系模式识别与智能控制专业学习，并获得工学硕士学位。

1986年01月，加入中国共产党。

1987年09月-1994年06月，担任北京航空航天大学计算机系教师。

1990年09月-1993年12月，在北京航空航天大学计算机科学与工程系计算机软件专业学习，师从李未教授，并获得工学博士学位。

1992年11月，获得副教授职称，并任职软件教研室副主任

1993年，获得国家教委首批“优秀中青年科技人才”计划资助

1994年06月-1997年06月，担任北京航空航天大学计算机系副主任、教授（1994年11月晋升）

1995年09月-1996年09月，在美国哥伦比亚大学做高级访问学者

1997年06月-

第十二届全国人民代表大会代表，第十九、二十届中央委员会委员，中国共产党第十九、二十次全国代表大会代表

2021年8月20日上午，十三届全国人大常委会第三十次会议表决，决定任命：怀进鹏为教育部部长。

科研成就

科研综述

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

网络资源的可信共享与协同技术方面

怀进鹏较早提出并深入研究了资源的可管性、可协同性和可信性问题，在服务资源的建模与组织、服务部署与信任管理、资源的分配与调度、可信服务体系结构、分布式委托授权与信任管理等方面做出了系统的创新性研究工作；研制了互联网资源的可信共享与协同支撑平台CROWN（总代码量40万行），通过了英国国家Science工程任务组ETF测评（20