上海交通大学陈海波教授以“高安全操作系统创新与应用”成果获得信息技术科学奖
2023-09-14 15:54:00 - 中国科学报
#2022年度陈嘉庚科学奖#【上海交通大学陈海波教授以“高安全操作系统创新与应用”成果获得信息技术科学奖】“缺芯少魂”(缺少芯片和操作系统)是“中国信息产业大而不强”主要的原因之一。陈海波长期致力于操作系统及相关领域的基础研究及其成果转化,正在为改变中国“少魂”的面貌做出重要贡献。陈海波带领团队在低时延与高可信操作系统前沿研究与产业化方面取得了一系列成果,提出了低时延操作系统的关键方法,突破工业界通用操作系统的形式化验证方法,提高了工业界操作系统的性能与安全性,破解了微内核操作系统高性能、富生态与高安全难以兼得的技术难题,推动了我国操作系统的研究与大规模产业应用。