世纪名人网 > 专家学者 > 陈海波

陈海波

上海交通大学特聘教授

陈海波

  陈海波,1982年11月生,上海交通大学特聘教授,国家杰出青年科学基金获得者。长期致力于操作系统领域的基础研究及成果转化工作,提出的分离安全保护与资源管理的操作系统架构设计方法,将操作系统可信基从数千万行减至数万行,并通过形式化方法验证了可信基的安全属性;研制多系统实例分治管理众核并提供统一资源抽象的方法,克服了单一虚拟化软件与操作系统实例的可扩展性问题;提出了跨层感知的低时延操作系统抽象方法,克服了传统操作系统低效抽象与协作失衡引起的时延高且不可控等难题。操作系统相关研究成果被部署超10亿设备,作为OpenHarmony技术指导委员会主席主导OpenHarmony技术架构。2018年获教育部技术发明奖一等奖(排名第1),2019年获上海市技术发明一等奖(排名第2),2020年获中国青年科技奖。

猜您感兴趣

专家学者

陈姓名人