信息技術
陳海波 教授
信息技術科學獎
2022年
1.獲獎人：陳海波?
陳海波，1982年11月出生于湖南省邵陽市，中共黨員，上海交通大學特聘教授，博士生導師，ACM杰出科學家。2004年9月和2009年1月在復旦大學分別取得計算機科學與技術學士學位與計算機系統結構博士學位。2009年至2011年期間擔任復旦大學計算機學院講師。2011年任上海交通大學電子信息與電氣工程學院教授?，F任上海交通大學并行與分布式系統研究所所長、領域操作系統教育部工程研究中心（籌）主任。??
長期從事計算機操作系統相關領域的研究工作。主持國家杰出青年科學基金項目，曾獲得教育部技術發明一等獎(排名第一)、中國青年科技獎、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社區的技術指導委員會并擔任首任主席。信息科技經過七十年來的洗煉正進入爆發期，系統軟件更將是這個精彩時代的核心。陳海波長期努力專注操作系統的科研，奠定了扎實的基礎、產出了優質的成果，在當下和未來對于構筑國產自研高可信高性能操作系統具有重要推動作用。??
?