乔磊,博士,航天五院502所研究员,CCF杰出会员。国家万人计划青年拔尖人才,中国航天科技集团公司青年拔尖人才,2019年度NASAC青年软件创新奖获得者,耶鲁大学访问学者。中国计算机学会系统软件、形式化方法和工业控制计算机专委会委员。一直致力于操作系统软件的设计、验证与可信保障技术研究。研究...