
中国科学院院士怀进鹏
怀进鹏:1962年12月出生,黑龙江哈尔滨人,中共党员,工学博士、教授、博士生导师,现任北京航空航天大学校长。
怀进鹏教授长期从事网络化软件技术与系统研究工作,在网络软硬件资源的可信共享与调度技术、安全协议理论、应用软件自动开发工具等方面,做出了系统的、创造性的贡献,有效突破了制约网络资源共享与利用的技术难关,建立了安全协议分析的代数理论与算法,提出了过程类软件开发的模型与方法,为提高大规模分布计算与应用软件自动开发能力,保障国家系统安全,做出了系统的创造性贡献,社会、经济与国防效益显著。获何梁何利科技奖、国家技术发明二等奖1项和国家科技进步二等奖2项,国际会议特邀报告12次,授权国家发明专利24项,发表论文126篇。
怀进鹏教授的主要贡献有:第一,针对互联网资源的共享与综合利用需求,系统提出并解决了资源的可聚合、可协同和可信任技术难题,为提高大规模分布计算能力提供了实用系统和低成本解决方案。他主持研制的CROWN系统已在多个领域成功推广,作为我国自主知识产权的软件通过了英国e-Science中心的权威测评,已用于该中心和国外多所大学,多次应邀在国际会议展示,提高了我国在该领域的国际竞争力;第二,提出了安全协议代数理论和高效算法,突破了协议高效分析与验证的技术难题,研制的协议分析与验证系统,为保障国家系统安全做出了重要贡献;第三,提出了过程类软件自动开发方法,突破了制约软件需求、设计、开发之间自动转换难题,研制的软件开发工具,基本实现了该类软件开发的“零”编程,显著提高了软件开发效率和质量。
客户端
媒体矩阵
企业邮箱