怀进鹏简介简历(个人资料介绍)
怀进鹏, 计算机软件专家。北京航空航天大学教授。1962年12月生于黑龙江哈尔滨,籍贯山东济南。1984年毕业于吉林工业大学(现吉林大学),1987年获哈尔滨工业大学硕士学位,1993年获北京航空航天大学博士学位。现任北京航空航天大学校长。2009年当选中国科学院院士。 主要从事网络化软件技术与系统研究工作,提出了网络资源的可信聚合与调度方法,主持研制的系统实现了分布资源的可信共享和利用,为提高分布计算能力提供了实用系统;提出了安全协议分析的代数理论和算法,主持研制了协议自动分析与验证系统;提出了过程类软件自动开发方法和技术,主持研制的软件生产工具提高了面向领域的应用软件开发效率和质量。曾获国家技术发明二等奖、国家科技进步二等奖等多项奖励。 [以上内容由" 爱卡"分享。] 同年(公元1962年)出生的名人: 张人禾 中国科学院院士 天津市津南区 吴福元 中国科学院院士 安徽省合肥庐江县 刘维民 中国科学院院士 山东省青岛莱西市 倪晋仁 中国科学院院士 山西省朔州山阴县 南策文 中国科学院院士 湖北省黄冈市浠水县 + 更多公元1962年出生的名人》 下一名人:顾瑛