10,425
次編輯
變更
怀进鹏
,無編輯摘要
[[File:怀进鹏.jpg|缩略图|右|[http://imgtech.gmw.cn/attachement/jpg/site0/20191018/f44d30758a6e1f135c150e.jpg 原图链接] [http://tech.gmw.cn/2019-10/18/content_33243978.htm 图片来源]]]'''怀进鹏'''(1962年12月-), 计算机软件专家。 [[ 北京航空航天大学 ]] 教授 。1962年12月生于 。 ==简介== 怀进鹏,[[ 黑龙江 ]][[ 哈尔滨 ,籍贯山东济南。1984年毕业于吉林工业大学(现吉林大学) ]]人,1986年1月加入中国共产党 ,1987 年获哈尔滨 年9月参加 工 业大 作,[[中国]]科 学 硕 院院 士 学位,1993年获北京航空航天大学博士学位 ,计算机软件专家 。 曾 现 任 北京航空航天大学校长, 工业 与 和 信息化部副部长 。现任天津市 ,国务院学位委员会 委 员,中国航空学会 副 书记。2009年当选 理事长、 中国 科 宇航 学 院 会副理事长等。第十二届全国人大代表。 怀进鹏 院士 。 主要 长期 从事网络化软件技术与系统研究工作, 提出了 在 网络 软硬件 资源的可信 聚合 共享 与调度 技术、安全协议理论、应用软件自动开发工具等 方 法 面 , 主持研制的 做出了 系统 实现 的、创造性的贡献,有效突破 了 分布 制约网络 资源 的可信 共享 和 与 利用 的技术难关 , 为提高分布计算能力提供了实用系统;提出 建立 了安全协议分析的代数理论 和 与 算法, 主持研制了协议自动分析与验证系统; 提出了过程类软件 自动 开发 的模型与 方法 和技术 , 主持研制的软件生产工具 为 提高 了面向领域的 大规模分布计算与 应用软件 自动 开发 效率和质量 能力,做出了系统的创造性贡献 。曾获国家技术发明二等 奖、 奖1项和 国家科技进步二等 奖2项、“何梁何利基金”科学与技术进步 奖等 多项 ,2010年获IET教育基金-北大方正大学校长 奖 励 ,于2012年6月被授予法国国家荣誉军团骑士勋章 。<ref>[https://www.buaa.edu.cn/info/1544/2008.htm 怀进鹏 ], </ref> ==参考资料==[[Category:科學技術醫學人物]]