|
怀进鹏，软件技术专家，北京航空航天大学计算机学院教授、博士生导师。1962年出生于哈尔滨市，籍贯山东省济南市。1984年获吉林大学计算机系工学学士学位，1987年获哈尔滨工业大学计算机系工学硕士学位，同年毕业分配到北京航空航天大学从事计算机教学与科研工作，1993年获北京航空航天大学计算机软件与理论专业博士学位，1994年晋升为教授、博士生导师，并于1995年至1996年在美国哥伦比亚大学计算机系从事学术交流和合作研究。怀进鹏曾任北航计算机系（学院）副系主任、系主任、北京航空航天大学副校长、国家“十五”863计划计算机主题首席科学家、国家电子政务试点示范工程总体组组长、国家电子政务标准化总体组组长。现任北京航空航天大学常务副校长、中国计算机学会副理事长、国家信息化专家咨询委员会委员、国家“十一五”863计划信息技术领域专家组组长等职。 怀进鹏长期从事软件与理论、网络化软件系统技术研究工作，主持和实施了多项国家重大科研项目并取得优异的成绩，在网络软件运行、软件设计与开发、通信安全等方面做出了重大创新性贡献。 在网络资源的可信共享与协同技术方面，怀进鹏较早提出并深入研究了资源的可管性、可协同性和可信性问题，在服务资源的建模与组织、服务部署与信任管理、资源的分配与调度、可信服务体系 结构、分布式委托授权与信任管理等方面做出了系统的创新性研究工作；研制了互联网资源的可信共享与协同支撑平台CROWN（总代码量40万行），通过了英国国家eScience工程任务组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项。以第一完成人获国家科技进步奖二等奖2项、部级一等奖5项。曾任国家计算机2000年问题专家组组长，多次代表中国政府参加联合国高峰会议，受到国内外高度评价。2003年2月高质量地完成了为中央领导的第19次中南海科技知识讲座。他发起并建立了国际万维网联盟（W3C）中国分部，推动了我国中间件“四方国件”技术联盟，并与国际中间件联盟ObjectWeb联合建立了国际开放源代码组织OW2，任副理事长。他担任了第26届IEEE、SRDS、第17届WWW会议主席和ICWS2008程序委员会主席，二十余次担任重要国际学术会议程序委员会委员，二十余次在国内外学术会议上做大会特邀报告。 怀进鹏先后担任国家“十五”863计划计算机主题和国家“十一五”863计划信息技术领域首席科学家，为我国计算机和信息技术领域的战略规划、实施和发展做出了重要贡献。他还为国家信息化建设做出了重要贡献，作为国家电子政务标准化总体组组长，牵头完成了6册标准化指南和9份研究报告，共同组织了8项国家标准、25项国家标准草案的制定，两次获得国家信息化突出贡献奖。 怀进鹏在1995年前主要从事逻辑推理与智能数据库研究，他解决了缺省逻辑和限制逻辑中缺乏知识更新与进化机理问题，给出了ATMS的语义和递归查询算法，获部级科技进步二、三等奖。 |
 |
京ICP备号 |
版权所有 何梁何利基金 |
THE HO LEUNG HO LEE FOUNDATION |