怀进鹏（中国科学院院士） 0 0
怀进鹏，男，汉族，1962年12月生，山东济南人。怀进鹏于1986年1月加入中国共产党，1987年9月参加工作，研究生学历，工学博士，教授，中国科学院院士。现任十九届中央委员，教育部党组书记、部长。怀进鹏主要从事网络化软件技术与系统研究工作。-
中文名:怀进鹏 民族:汉族 出生地:黑龙江省哈尔滨市 毕业院校:哈尔滨工业大学 学位/学历: 职业: 专业方向: 职务: 学术代表作: 主要成就:2009年当选中国科学院院士 性别:男
人物经历
学习经历
1980年07月，从哈尔滨市第九中学校毕业。
1980年09月—1984年09月，在吉林工业大学（现吉林大学）计算机科学与工程系计算机应用专业学习，并获得学士学位。
1984年09月—1987年09月，在哈尔滨工业大学电气工程系模式识别与智能控制专业学习，并获得工学硕士学位。
2008年03月—2008年07月，在中央党校中青年干部培训一班学习
工作经历
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月—2000年12月，担任北京航空航天大学计算机系主任
2000年12月—2003年01月，担任北京航空航天大学党委副书记、副校长
2003年01月—2003年04月，担任北京航空航天大学党委常委、副校长
2003年04月—2009年05月，担任北京航空航天大学党委常委、常务副校长（2006年02月明确为正局级）
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年05月，担任中国科学技术协会第十届全国委员会副主席（专职，分管日常工作）、书记处第一书记
2021年07月，任教育部党组书记。
2021年08月，任教育部部长。
主要成就
科研成就
科研综述
怀进鹏提出了网络资源的可信聚合与调度方法，主持研制的系统实现了分布资源的可信共享和利用，为提高分布计算能力提供了实用系统；提出了安全协议分析的代数理论和算法，主持研制了协议自动分析与验证系统；提出了过程类软件自动开发方法和技术，主持研制的软件生产工具提高了面向领域的应用软件开发效率和质量。1995年前主要从事逻辑推理与智能数据库研究，他解决了缺省逻辑和限制逻辑中缺乏知识更新与进化机理问题，给出了ATMS的语义和递归查询算法。
网络资源的可信共享与协同技术方面
怀进鹏较早提出并深入研究了资源的可管性、可协同性和可信性问题，在服务资源的建模与组织、服务部署与信任管理、资源的分配与调度、可信服务体系结构、分布式委托授权与信任管理等方面做出了系统的创新性研究工作；
研制了互联网资源的可信共享与协同支撑平台CROWN（总代码量40万行），通过了英国国家Science工程任务组ETF测评（2005年6～12月），并建立了连接中国、英国、美国、澳大利亚和香港地区的41个节点的广域综合试验环境，与国际同类系统相比在功能和性能上具有优势，已在气象、高能物理、海量信息处理和计算流体力学等领域得到应用，基于CROWN平台与浪潮集团研发的产业化版本，CROWN Virtual Cluster已成为浪潮集群计算机的预装软件进入市场；
其中资源调度与分配系统被英国OMII中间件采用，并应邀与美Globus、英OMII和欧洲EGEE等系统在第19届国际超级计算会议（SC06）和OGF在线演示和集成，设计实现了异构系统间三种互操作方法，提升了中国网络资源的可信聚合与调度系统技术的整体水平和国际竞争能力。
网络化软件开发方法方面
怀进鹏等较早开展了XML及Web服务中间件技术研发，2002年主持完成了Web服务应用支撑环境。为了解决从需求规约到软件设计的有效转换问题，怀进鹏等采用面向目标的软件开发方法，通过目标发现和抽象、目标选择和精化，以及目标操作化，提出了面向领域的软件目标操作模型，统一描述了目标与操作、主体属性域及其关系；
针对电子政务和电子商务中过程类软件设计到开发的自动转换问题，将业务处理视为对数据及其运行状态序列的管理，抽象出业务处理流程、操作序列、主体和客体等四个参数，提出了基于规则的元数据表示方法和面向数据交换与共享的软总线，并提出了基于软总线和多引擎协作的体系结构，进而将过程类软件开发转换为上述四个参数的实例化，为面向领域的软件开发提供了一种高效的软件工具，并已成功应用于多个领域的软件“零编程”开发，获得了5项发明专利。
安全协议模型与算法方面
怀进鹏等在国际上较早运用代数学方法研究安全协议和安全性质，创新地建立了密码协议代数及其形式化模型。通过CPA上迁移函数及其序列精确描述消息的交互关系和协议运行过程，通过子代数、多项式代数、自由生成元等刻画主体（包括攻击者）的知识扩张过程，统一解决了多种密码运算和协议运行的形式化问题，特别是推广同调代数中正合序列概念，揭示了对协议的攻击活动过程，使协议安全性验证转化为该序列是否满足相应的安全性目标，为密码协议的安全性研究提供了新的研究方法和理论。
针对协议安全性验证的复杂性，怀进鹏等证明了协议分析中所有正合序列空间可约简为有限固定主体产生的正规序列空间，极大地缩小了需要分析的空间；证明了消息无关时，密码协议合成保持安全性的一个充分条件，部分解决了密码协议的一致性问题；并提出了一种高效的安全协议安全性自动分析算法，支持直接构造协议漏洞的攻击过程；所研制的协议的自动分析系统综合性能优于国际同类系统，发现并验证了国际上2个协议的新漏洞。取得了重要应用效益，为协议安全性分析和验证奠定了基础。
网络安全协同管理技术与系统研究方面
为统一管理多种异构安全系统，解决网络安全盲区、冗余和协同防御问题，怀进鹏等提出了基于自动机的多主体协同检测模型、正交知识库、触发多主体协同活动的规则库及其高效算法；研制了基于扫描信息总线的网络安全集约管理工具及网络安全协同管理系统，实现了入侵预警、入侵检测、内容监控、漏洞扫描和安全审计等协同管理。
学术论著
截至2016年10月，怀进鹏在国际会议、期刊和中国国内主要学术期刊上发表学术论文100余篇。
学术交流
根据2019年12月何梁何利基金会网站显示，怀进鹏发起并建立了国际万维网联盟（W3C）中国分部，推动了中国中间件“四方国件”技术联盟，并与国际中间件联盟ObjectWeb联合建立了国际开放源代码组织OW2，任副理事长。他担任了第26届IEEE、SRDS、第17届WWW会议主席和ICWS2008程序委员会主席，二十余次担任重要国际学术会议程序委员会委员，二十余次在国内外学术会议上做大会特邀报告。
承担项目
截至2016年10月，怀进鹏先后主持多项国家973计划、863计划、自然科学基金、国防基金、攻关计划、国际合作项目、信息产业部电子发展基金、国防重大研究计划和国防预研计划项目，并主持了国防科工委、工商行和北京市等多项大型信息系统研制。
人才培养
根据2019年12月何梁何利基金会网站显示，怀进鹏已培养博士研究生18名、硕士研究生50余名。
荣誉表彰
时间
荣誉表彰
授予单位
2007年
何梁何利基金科学与技术进步奖
何梁何利基金会
2009年
中国科学院院士（信息技术科学部）
中国科学院
2012年6月7日
法国国家荣誉军团骑士勋章
社会任职
怀进鹏先后担任第十二届全国人民代表大会代表，中国共产党第十九次全国代表大会代表，第十九届中央委员会委员；国家信息化专家咨询委员会委员，863计划计算机主题首席科学家，国家电子政务试点示范工程总体组组长，国家电子政务标准化总体组组长、教育部党组书记等职。
人物评价
怀进鹏长期从事软件与理论、网络化软件系统技术研究工作，主持和实施了多项国家重大科研项目并取得优异的成绩，在网络软件运行、软件设计与开发、通信安全等方面做出了重大创新性贡献。（科普中国评）
怀进鹏曾任国家计算机2000年问题专家组组长，多次代表中国政府参加联合国高峰会议，受到中国国内外高度评价。他先后担任国家“十五”863计划计算机主题和国家“十一五”863计划信息技术领域首席科学家，为中国计算机和信息技术领域的战略规划、实施和发展做出了重要贡献。他还为国家信息化建设做出了重要贡献，作为国家电子政务标准化总体组组长，牵头完成了6册标准化指南和9份研究报告，共同组织了8项国家标准、25项国家标准草案的制定，两次获得国家信息化突出贡献奖。（何梁何利基金会评）
参考资料
相关阅读
声明
本站上发表的所有内容，均为原作者的观点，不代表姐的欢喜网的立场，也不代表姐的欢喜网的价值判断。百科的词条（含所附图片）系由本站或网友上传，如果涉嫌侵权，请与客服联系，我们将按照法律之相关规定及时进行处理。未经许可，禁止商业网站等复制、抓取本站内容。
人物：何小鹏简介
人物：孟晚舟简介
王亚平