团队成员

怀进鹏
项目负责人及首席科学家
博士,教授,博导,中国科学院院士
现任北京航空航天大学校长
先后任国家863计划计算机主题与信息领域专家组组长、"核高基"国家重大科技专项总体组副组长和基础软件组长,为推动我国计算机和信息技术发展规划的制定、实施和产业化做出了重要贡献。长期从事网络化软件技术与系统研究工作,并重点围绕制约网络资源共享与利用的系列关键技术开展研究,主持研制的CROWN系统,已用于我国航空、高能物理、气象预报和中科院大规模数据处理等领域;创造性建立了安全协议分析的代数理论与算法,提出了过程类软件开发的“零”编程方法,为提高大规模分布计算与应用软件自动开发能力,保障国家机要系统安全,做出了系统的创造性贡献,社会、经济与国防效益显著。曾获何梁何利科技奖、国家技术发明二等奖1项和国家科技进步二等奖2项(均排名第一),授权发明专利24项,国际会议特邀报告12次,发表论文130余篇。