怀进鹏(中共第二十届中央委员，中央教育工作领导小组成员、秘书组组长，教育部党组书记、部长)

怀进鹏，男，汉族，1962年12月生，山东济南人，1986年1月加入中国共产党，1987年9月参加工作，哈尔滨工业大学电气工程系模式识别与智能控制专业毕业，研究生学历，北京航空航天大学工学博士，中国科学院院士。

现任中共第二十届中央委员，中央教育工作领导小组成员、秘书组组长，教育部党组书记、部长。

人物履历

1980.09—1984.09 吉林工业大学计算机科学与工程系计算机应用专业学习；

1984.09—1987.09 哈尔滨工业大学电气工程系模式识别与智能控制专业硕士研究生；

1987.09—1994.06 北京航空航天大学计算机系教师（其间：1990.09—1993.12在北京航空航天大学计算机科学与工程系计算机软件专业学习，获工学博士学位）；

1994.06—1997.06 北京航空航天大学计算机系副主任（其间：1995.09—1996.09美国哥伦比亚大学高级访问学者）；

1997.06—2000.12 北京航空航天大学计算机系主任；

2000.12—2003.01 北京航空航天大学党委副书记、副校长；

2003.01—2003.04 北京航空航天大学党委常委、副校长；

2003.04—2009.05 北京航空航天大学党委常委、常务副校长（2006.02明确为正局级）（其间：2008.03—2008.07在中央党校中青年干部培训一班学习）；

2009.05—2015.02 北京航空航天大学党委副书记、校长（副部长级）（2009.11当选中国科学院院士；2011.09—2011.11在中央党校第50期省部级干部进修班学习）；

2015.02—2016.12 工业和信息化部副部长、党组成员，中央人才工作协调小组成员（2015.06）；

2016.12—2017.08 天津市委副书记；

2017.08—2017.09 中国科协党组书记、书记处第一书记；

2017.09—2021.07 中国科协党组书记、常务副主席、书记处第一书记；

2021.07—2021.08 教育部党组书记；

2021.08— 教育部党组书记、部长；

现任中央教育工作领导小组成员、秘书组组长，教育部党组书记、部长。

担任职务

中共第十九届、二十届中央委员，中共十九大、二十大代表。第十二届全国人大代表。中央人才工作协调小组成员，国家教材委员会副主任。

工作分工

主持全面工作。负责干部人事工作。

任免信息

2017年9月1日，中国科协召开干部大会宣布中央关于中国科协党组主要负责同志调整的决定，怀进鹏同志任中国科协党组书记。

2017年9月20日，中国科协九届五次常委会议在北京召开。根据中国科学技术协会章程，会议一致表决通过，怀进鹏同志担任中国科协第九届全国委员会常务委员会书记处第一书记；审议通过了《关于变更怀进鹏同志为中国科协第九届全国委员会副主席、常务委员会委员的报告》。

2021年5月30日下午，中国科协第十届全国委员会第一次会议在北京召开，怀进鹏当选中国科学技术协会第十届全国委员会副主席。

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

2021年9月，国家教材委员会发布《关于调整国家教材委员会副主任和部门委员的通知》，宣布由教育部党组书记、部长怀进鹏任国家教材委员会副主任。

科学研究

科研成就

怀进鹏院士长期从事网络化软件技术与系统研究工作，在网络软硬件资源的可信共享与调度技术、安全协议理论、应用软件自动开发工具等方面，做出了系统的、创造性的贡献，有效突破了制约网络资源共享与利用的技术难关，建立了安全协议分析的代数理论与算法，提出了过程类软件开发的模型与方法，为提高大规模分布计算与应用软件自动开发能力，做出了系统的创造性贡献。

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

怀进鹏较早提出并深入研究了资源的可管性、可协同性和可信性问题，在服务资源的建模与组织、服务部署与信任管理、资源的分配与调度、可信服务体系结构、分布式委托授权与信任管理等方面做出了系统的创新性研究工作。

研制了互联网资源的可信共享与协同支撑平台CROWN，通过了英国国家e-Science工程任务组ETF测评（05年6～12月），并建立了连接中国、英国、美国、澳大利亚和中国香港地区的41个节点的广域综合试验环境，与国际同类系统相比在功能和性能上具有优势，已在气象、高能物理、海量信息处理和计算流体力学等领域得到应用，基于CROWN平台与浪潮集团研发的产业化版本，CROWNVirtualCluster已成为浪潮集群计算机的预装软件进入市场；其中资源调度与分配系统被英国OMII中间件采用，并应邀与美Globus、英OMII和欧洲EGEE等系统在第19届国际超级计算会议（SC06）和OGF在线演示和集成，设计实现了异构系统间三种互操作方法，显著提升了中国网络资源的可信聚合与调度系统技术的整体水平和国际竞争能力。

网络化软件开发方法方面

怀进鹏等较早开展了XML及Web服务中间件技术研发，2002年主持完成了Web服务应用支撑环境。为了解决从需求规约到软件设计的有效转换问题，怀进鹏等采用面向目标的软件开发方法，通过目标发现和抽象、目标选择和精化，以及目标操作化，提出了面向领域的软件目标操作模型，统一描述了目标与操作、主体属性域及其关系；针对电子政务和电子商务中过程类软件设计到开发的自动转换问题，将业务处理视为对数据及其运行状态序列的管理，抽象出业务处理流程、操作序列、主体和客体等四个参数，提出了基于规则的元数据表示方法和面向数据交换与共享的软总线，并提出了基于软总线和多引擎协作的体系结构，进而将过程类软件开发转换为上述四个参数的实例化，为面向领域的软件开发提供了一种高效的软件工具，并已成功应用于多个领域的软件“零编程”开发。

安全协议模型与算法方面

怀进鹏等在国际上较早运用代数学方法研究安全协议和安全性质，创新地建立了密码协议代数（CryptographicProtocolAlgebra,CPA）及其形式化模型。通过CPA上迁移函数及其序列精确描述消息的交互关系和协议运行过程，通过子代数、多项式代数、自由生成元等刻画主体（包括攻击者）的知识扩张过程，统一解决了多种密码运算和协议运行的形式化问题，特别是推广同调代数中正合序列概念，揭示了对协议的攻击活动过程，使协议安全性验证转化为该序列是否满足相应的安全性目标，为密码协议的安全性研究提供了新的研究方法和理论。针对协议安全性验证的复杂性，怀进鹏等证明了协议分析中所有正合序列空间可约简为有限固定主体产生的正规序列空间，极大地缩小了需要分析的空间；证明了消息无关时，密码协议合成保持安全性的一个充分条件，部分解决了密码协议的一致性问题；并提出了一种高效的安全协议安全性自动分析算法，支持直接构造协议漏洞的攻击过程；所研制的协议的自动分析系统综合性能优于国际同类系统，取得了重要应用效益，为协议安全性分析和验证奠定了基础。

网络安全协同管理技术与系统研究方面

为统一管理多种异构安全系统，解决网络安全盲区、冗余和协同防御问题，怀进鹏等提出了基于自动机的多主体协同检测模型、正交知识库、触发多主体协同活动的规则库及其高效算法；研制了基于扫描信息总线的网络安全集约管理工具及网络安全协同管理系统，实现了入侵预警、入侵检测、内容监控、漏洞扫描和安全审计等协同管理。

科研项目

曾承担了国家自然科学基金重大项目、杰出青年基金、国家863及973计划、国防预研及型号，以及国际合作等项目。2003年2月高质量地完成了为中央领导的第19次中南海科技知识讲座。发起并建立了国际万维网联盟（W3C）中国分部，推动了中国中间件“四方国件”技术联盟，并与国际中间件联盟ObjectWeb联合建立了国际开放源代码组织OW2，任副理事长。