标题：怀进鹏
基本简介
怀进鹏，1987年获哈尔滨工业大学硕士后到北京航空航天大学工作，1993年获北航博士学位，1995－1996受原国家教委首批优秀中青年教师计划资助赴美国哥伦比亚大学访问。现任北京航空航天大学党委副书记、校长、兼任国家信息化专家咨询委员会委员、国家“十五”863计划计算机主题首席科学家、国家电子政务试点示范工程总体组组长、国家电子政务标准化总体组组长。 
怀进鹏1962年生，1987年从哈尔滨工业大学计算机与电气工程学院毕业后，被分配到北航任教。1990年师从中科院院士、北航前校长李未教授，1993年获博士学位。怀进鹏在北航学习、工作、生活了20多年，履新前担任北航常务副校长。 
近10年来，怀进鹏主要从事计算机软件与理论、计算机应用、网络信息安全等方面的研究和开发工作，现任国家信息化专家咨询委员会成员、国家十五863计划计算机主题专家组组长、国家电子政务标准化总体组组长等职务。
2012年6月7日，怀进鹏被授法国国家荣誉军团骑士勋章，。
人物履历
1980.09——1984.07，在吉林大学计算机系学习，获工学学士学位； 
1984.09——1987.07，哈尔滨工业大学计算机与电气工程学院计算机  系硕士研究生，获工学硕士学位； 
1987.08——1992.10，北京航空航天大学计算机系助教、讲师，软件教研室副主任（其间：1990年师从我国著名的计算机科学家、中科院院士李未教授攻读博士学位，1993年获博士学位）； 
1992.11——1994.05，北京航空航天大学计算机系软件教研室副主任、副教授（1992.11 副教授）； 
1994.06——1997.05，北京航空航天大学计算机系副主任、教授（1994.11 教授）（1995.09—1996.09 获国家教委首批“优秀中青年科技人才”计划资助赴美国哥伦比亚大学计算机系进行学术交流与合作研究）； 
1997.06——2000.11，北京航空航天大学计算机系主任、教授、博士生导师；
2000.12——2003.02，北京航空航天大学党委副书记、副校长；
2003.02——2009.05，北京航空航天大学党委副书记、常务副校长； 
2009..05——，北京航空航天大学党委副书记、校长（副部长级）。
研究方向和成果
  怀进鹏怀进鹏教授长期从事软件与理论、网络化软件系统技术研究工作，主持和实施了多项国家重大科研项目并取得优异的成绩，在网络软件运行、软件设计与开发、通信安全等方面做出了重大创新性贡献。 在网络资源的可信共享与协同技术方面，怀进鹏较早提出并深入研究了资源的可管性、可协同性和可信性问题，在服务资源的建模与组织、服务部署与信任管理、资源的分配与调度、可信服务体系 结构、分布式委托授权与信任管理等方面做出了系统的创新性研究工作；研制了互联网资源的可信共享与协同支撑平台CROWN（总代码量40万行），通过了英国国家e?Science工程任务组ETF测评（05年6～12月），并建立了连接中国、英国、美国、澳大利亚和香港地区的41个节点的广域综合试验环境，与国际同类系统相比在功能和性能上具有优势，已在气象、高能物理、海量信息处理和计算流体力学等领域得到应用，基于CROWN平台与浪潮集团研发的产业化版本，CROWN Virtual Cluster已成为浪潮集群计算机的预装软件进入市场；其中资源调度与分配系统被英国OMII中间件采用，并应邀与美Globus、英OMII和欧洲EGEE等系统在第19届国际超级计算会议（SC06）和OGF在线演示和集成，设计实现了异构系统间三种互操作方法，显著提升了我国网络资源的可信聚合与调度系统技术的整体水平和国际竞争能力。 
在网络化软件开发方法方面，怀进鹏等较早开展了XML及Web服务中间件技术研发，2002年主持完成了Web服务应用支撑环境。为了解决从需求规约到软件设计的有效转换问题，怀进鹏等采用面向目标的软件开发方法，通过目标发现和抽象、目标选择和精化，以及目标操作化，提出了面向领域的软件目标操作模型，统一描述了目标与操作、主体属性域及其关系；针对电子政务和电子商务中过程类软件设计到开发的自动转换问题，将业务处理视为对数据及其运行状态序列的管理，抽象出业务处理流程、操作序列、主体和客体等四个参数，提出了基于规则的元数据表示方法和面向数据交换与共享的软总线，并提出了基于软总线和多引擎协作的体系结构，进而将过程类软件开发转换为上述四个参数的实例化，为面向领域的软件开发提供了一种高效的软件工具，并已成功应用于多个领域的软件“零编程”开发，获得了5项发明专利，形成1320万元知识产权。怀进鹏创建密码协议代数在安全协议模型与算法方面，怀进鹏等在国际上较早运用代数学方法研究安全协议和安全性质，创新地建立了密码协议代数（Cryptographic Protocol Algebra,CPA）及其形式化模型。通过CPA上迁移函数及其序列精确描述消息的交互关系和协议运行过程，通过子代数、多项式代数、自由生成元等刻画主体（包括攻击者）的知识扩张过程，统一解决了多种密码运算和协议运行的形式化问题，特别是推广同调代数中正合序列概念，揭示了对协议的攻击活动过程，使协议安全性验证转化为该序列是否满足相应的安全性目标，为密码协议的安全性研究提供了新的研究方法和理论。针对协议安全性验证的复杂性，怀进鹏等证明了协议分析中所有正合序列空间可约简为有限固定主体产生的正规序列空间，极大地缩小了需要分析的空间；证明了消息无关时，密码协议合成保持安全性的一个充分条件，部分解决了密码协议的一致性问题；并提出了一种高效的安全协议安全性自动分析算法，支持直接构造协议漏洞的攻击过程；所研制的协议的自动分析系统综合性能优于国际同类系统，发现并验证了国际上2个协议的新漏洞。取得了重要应用效益，为协议安全性分析和验证奠定了基础。 
在网络安全协同管理技术与系统研究方面，为统一管理多种异构安全系统，解决网络安全盲区、冗余和协同防御问题，怀进鹏等提出了基于自动机的多主体协同检测模型、正交知识库、触发多主体协同活动的规则库及其高效算法；研制了基于扫描信息总线的网络安全集约管理工具及网络安全协同管理系统，实现了入侵预警、入侵检测、内容监控、漏洞扫描和安全审计等协同管理。怀进鹏担任国家自然科学基金重大项目怀进鹏承担了国家自然科学基金重大项目、杰出青年基金、国家863及973计划、国防预研及型号，以及国际合作等项目，已培养博士研究生18名、硕士研究生50余名，在高水平国际会议、期刊和国内主要学术期刊上发表学术论文100余篇，获国家发明专利19项。以第一完成人获国家技术发明二等奖1项、国家科技进步奖二等奖2项、部级一等奖5项。曾任国家计算机2000年问题专家组组长，多次代表中国政府参加联合国高峰会议，受到国内外高度评价。2003年2月高质量地完成了为中央领导的第19次中南海科技知识讲座。他发起并建立了国际万维网联盟（W3C）中国分部，推动了我国中间件“四方国件”技术联盟，并与国际中间件联盟ObjectWeb联合建立了国际开放源代码组织OW2，任副理事长。他担任了第26届IEEE、SRDS、第17届WWW会议主席和ICWS2008程序委员会主席，二十余次担任重要国际学术会议程序委员会委员，二十余次在国内外学术会议上做大会特邀报告。怀进鹏当选为中国科学院院士怀进鹏先后担任国家“十五”863计划计算机主题和国家“十一五”863计划信息技术领域首席科学家，为我国计算机和信息技术领域的战略规划、实施和发展做出了重要贡献。他还为国家信息化建设做出了重要贡献，作为国家电子政务标准化总体组组长，牵头完成了6册标准化指南和9份研究报告，共同组织了8项国家标准、25项国家标准草案的制定，两次获得国家信息化突出贡献奖。 
怀进鹏在1995年前主要从事逻辑推理与智能数据库研究，他解决了缺省逻辑和限制逻辑中缺乏知识更新与进化机理问题，给出了ATMS的语义和递归查询算法，获部级科技进步二、三等奖。 　
怀进鹏教授于2007年获得何梁何利科技进步奖，2009年当选为中国科学院院士（信息技术科学部）。
主要论文
1 密码协议的代数模型及其安全性 
2 基于角色的访问控制模型的扩充和实现机制研究 
3 组合Web服务建模工具的设计与实现
4 Web服务运行管理平台安全结构的研究与实现 
5 WSDL表示模型与实现方法 
6 基于Web服务的网络软件运行平台研究与实现 
7 基于目标操作化的多引擎协作体系结构研究 
8 组合Web Service支撑系统的研究与实现
9 基于角色的软件协作环境研究与实现 
10 XML数据安全系统的研究与实现 
11 基于Web Services的业务流程规范的比较研究 
12 基于角色的协作关系建模研究 
13 一种基于Web服务的分布式工作流系统的研究与实现 
14 基于XML的密钥管理的研究与实现 
15 基于XML的多粒度访问控制系统
16 Efficient Non-repudiation Multicast Source Authentication Schemes 
17 面向Web Service中间件的应用支撑环境 
18 分布式网络环境下密码协议形式模型和安全性 
  怀进鹏 院士