怀进鹏造句

• 怀进鹏，男，教授，博导。
• 怀进鹏在北航学习、工作、生活了20多年，履新前担任北航常务副校长。
• 2009年5月28日，在北航全校干部教师大会上，中组部宣布怀进鹏任北京航空航天大学校长。
• 2009年6月11日，中组部宣布怀进鹏任北京航空航天大学校长，李未不再担任北航校长职务。
• 方面，怀进鹏等较早开展了XML及Web服务中间件技术研发，2002年主持完成了Web服务应用支撑环境。
• 怀进鹏1962年生，1987年从哈尔滨工业大学计算机与电气工程学院毕业后，被分配到北航任教。
• 受聘仪式由常务副校长怀进鹏主持，校长李未院士向李伯虎院士颁发聘书并发表讲话。
• 李未和怀进鹏均来自北航计算机学院，在学院网站上，两人都被归到“学术带头人”一栏。
• 杜玉波书记和怀进鹏校长共同为北航人文与社会科学高等研究院揭牌，并为讲席教授和讲课教授颁发了聘书。
• 在安全协议模型与算法方面，怀进鹏等在国际上较早运用代数学方法研究安全协议和安全性质，创新地建立了密码协议代数（Cryptographic Protocol Algebra,CPA）及其形式化模型。
• “863计划”计算机主题专家组组长怀进鹏说，政府在支持企业自主创新上单纯给钱设项目是远远不够的，重要的是努力营造宽松的创新环境，让整个创新链完整起来、活跃起来。
• 我校党委书记杜玉波、校长怀进鹏、副校长郑志明出席会议，学校机关各职能部处领导、各文科院长以及北航人文与社会科学高等研究院讲席教授、讲课教授、助理教授等参加了成立大会。
• 怀进鹏教授长期从事软件与理论、网络化软件系统技术研究工作，主持和实施了多项国家重大科研项目并取得优异的成绩，在网络软件运行、软件设计与开发、通信安全等方面做出了重大创新性贡献。
• 近10年来，怀进鹏主要从事计算机软件与理论、计算机应用、网络信息安全等方面的研究和开发工作，现任国家信息化专家咨询委员会成员、国家十五863计划计算机主题专家组组长、国家电子政务标准化总体组组长等职务。
• 在讲座中，怀进鹏教授从网络计算机的概述、网络计算机与我国信息化建设、网络计算机与我国计算机产业发展、网络计算机目前的基础与实践等方面，阐述了发展网络计算机对我国计算机产业发展和国家信息化建设的重要作用。
• ”计划信息技术领域专家组组长怀进鹏院士、CCF常务理事廖湘科研究员、美国科学院Peter Szolovits院士、美国加州大学圣地亚哥分校计算机科学与工程系主任Keith Marzullo教授、美国康乃尔大学David Shmoys教授、美国罗格斯大学Rebecca Wright副教授的特邀报告，具体信息请参见特邀报告简介。
• 针对协议安全性验证的复杂性，怀进鹏等证明了协议分析中所有正合序列空间可约简为有限固定主体产生的正规序列空间，极大地缩小了需要分析的空间；证明了消息无关时，密码协议合成保持安全性的一个充分条件，部分解决了密码协议的一致性问题；并提出了一种高效的安全协议安全性自动分析算法，支持直接构造协议漏洞的攻击过程；所研制的协议的自动分析系统综合性能优于国际同类系统，发现并验证了国际上2个协议的新漏洞。
• 为了解决从需求规约到软件设计的有效转换问题，怀进鹏等采用面向目标的软件开发方法，通过目标发现和抽象、目标选择和精化，以及目标操作化，提出了面向领域的软件目标操作模型，统一描述了目标与操作、主体属性域及其关系；针对电子政务和电子商务中过程类软件设计到开发的自动转换问题，将业务处理视为对数据及其运行状态序列的管理，抽象出业务处理流程、操作序列、主体和客体等四个参数，提出了基于规则的元数据表示方法和面向数据交换与共享的软总线，并提出了基于软总线和多引擎协作的体系结构，进而将过程类软件开发转换为上述四个参数的实例化，为面向领域的软件开发提供了一种高效的软件工具，并已成功应用于多个领域的软件“零编程”开发，获得了5项发明专利，形成1320万元知识产权。