您现在的位置: 首页 >  院士信息 >  院士名单与简介 >  全体院士名单
院士信息

怀进鹏

 

【字号:    
怀进鹏

    计算机软件专家。北京航空航天大学教授。1962年12月生于黑龙江哈尔滨,籍贯山东济南。1984年毕业于吉林工业大学(现吉林大学),1987年获哈尔滨工业大学硕士学位,1993年获北京航空航天大学博士学位。曾任北京航空航天大学校长,工业与信息化部副部长。现任天津市委副书记。2009年当选中国科学院院士。

    主要从事网络化软件技术与系统研究工作,提出了网络资源的可信聚合与调度方法,主持研制的系统实现了分布资源的可信共享和利用,为提高分布计算能力提供了实用系统;提出了安全协议分析的代数理论和算法,主持研制了协议自动分析与验证系统;提出了过程类软件自动开发方法和技术,主持研制的软件生产工具提高了面向领域的应用软件开发效率和质量。曾获国家技术发明二等奖、国家科技进步二等奖等多项奖励。

导航
首页
学部介绍
院士信息
院士大会
院士增选
智库建设
出版物
学部工作局
动态
学部动态
媒体报道
咨询评议
学术交流
科普活动
院士动态
专题
2017中科院院士增选
陈嘉庚科学奖
科学与中国
院士文库
缅怀院士
中科院第十八次院士大会
纪念学部成立60周年
院士口述故事
工具栏
院士邮箱系统
院士增选系统
学部咨询项目管理系统
学部学科项目管理系统
学部局综合办公平台