陈海波 教授 信息技术科学奖
2022年

1.获奖人:陈海波

  陈海波,1982年11月出生于湖南省邵阳市,中共党员,上海交通大学特聘教授,博士生导师,ACM杰出科学家。2004年9月和2009年1月在复旦大学分别取得计算机科学与技术学士学位与计算机系统结构博士学位。2009年至2011年期间担任复旦大学计算机学院讲师。2011年任上海交通大学电子信息与电气工程学院教授。现任上海交通大学并行与分布式系统研究所所长、领域操作系统教育部工程研究中心(筹)主任。  
  长期从事计算机操作系统相关领域的研究工作。主持国家杰出青年科学基金项目,曾获得教育部技术发明一等奖(排名第一)、中国青年科技奖、CCF青年科学家奖、全国优秀博士学位论文奖等。按照csrankings.org的统计,其在操作系统领域近5年(2017-2021)发表的高水平会议(SOSP/OSDI, EuroSys, Usenix ATC和FAST)论文数居世界第一,多篇论文获ASPLOS、EuroSys等国际权威学术会议最佳论文奖。获中国授权发明专利59件和10项美国授权发明专利。主持编写的《现代操作系统:原理与实现》获得2020年度“最受读者喜爱的IT图书奖”。  

  曾任操作系统领域旗舰会议ACM SOSP 2017大会共同主席,是SOSP会议历史上首位中国学者主席。目前担任ACM SIGOPS ChinaSys主席、ACM旗舰杂志《Communications of the ACM》中国首位编委与领域主席、《ACM Transactions on Storage》编委、OpenHarmony社区技术指导委员会首任主席。

2.相关成果:高安全操作系统创新与应用  

  “缺芯少魂”(缺少芯片和操作系统)是“中国信息产业大而不强”主要的原因之一。陈海波长期致力于操作系统及相关领域的基础研究及其成果转化,正在为改变中国“少魂”的面貌做出重要贡献。陈海波带领团队在低时延与高可信操作系统前沿研究与产业化方面取得了一系列成果,提出了低时延操作系统的关键方法,突破工业界通用操作系统的形式化验证方法,提高了工业界操作系统的性能与安全性,破解了微内核操作系统高性能、富生态与高安全难以兼得的技术难题,推动了我国操作系统的研究与大规模产业应用。坚持科技创新同国家需求、市场需要相结合,响应国家产学研结合的号召,主持研发的自主内核是国际上首个同时兼具高信息安全(CC EAL 5+)和高功能安全(ISO 26262 ASIL-D)认证的操作系统内核,并在智能终端、服务器等多个平台部署超过数亿级)。他也积极为我国开源操作系统社区积极贡献,组建并担任了OpenHarmony社区的技术指导委员会并担任首任主席。信息科技经过七十年来的洗炼正进入爆发期,系统软件更将是这个精彩时代的核心。陈海波长期努力专注操作系统的科研,奠定了扎实的基础、产出了优质的成果,在当下和未来对于构筑国产自研高可信高性能操作系统具有重要推动作用。