陳海波 教授
信息技術科學獎
2022年
1.獲獎人：陳海波??
陳海波，1982年11月出生于湖南省邵陽市，中共黨員，上海交通大學特聘教授，博士生導師，ACM杰出科學家。2004年9月和2009年1月在復旦大學分別取得計算機科學與技術學士學位與計算機系統(tǒng)結構博士學位。2009年至2011年期間擔任復旦大學計算機學院講師。2011年任上海交通大學電子信息與電氣工程學院教授?，F(xiàn)任上海交通大學并行與分布式系統(tǒng)研究所所長、領域操作系統(tǒng)教育部工程研究中心（籌）主任。??
長期從事計算機操作系統(tǒng)相關領域的研究工作。主持國家杰出青年科學基金項目，曾獲得教育部技術發(fā)明一等獎(排名第一)、中國青年科技獎、CCF青年科學家獎、全國優(yōu)秀博士學位論文獎等。按照csrankings.org的統(tǒng)計，其在操作系統(tǒng)領域近5年（2017-2021）發(fā)表的高水平會議（SOSP/OSDI, EuroSys, Usenix ATC和FAST）論文數(shù)居世界第一，多篇論文獲ASPLOS、EuroSys等國際權威學術會議最佳論文獎。獲中國授權發(fā)明專利59件和10項美國授權發(fā)明專利。主持編寫的《現(xiàn)代操作系統(tǒng)：原理與實現(xiàn)》獲得2020年度“最受讀者喜愛的IT圖書獎”。??
曾任操作系統(tǒng)領域旗艦會議ACM SOSP 2017大會共同主席，是SOSP會議歷史上首位中國學者主席。目前擔任ACM SIGOPS ChinaSys主席、ACM旗艦雜志《Communications of the ACM》中國首位編委與領域主席、《ACM Transactions on Storage》編委、OpenHarmony社區(qū)技術指導委員會首任主席。??
2.相關成果：高安全操作系統(tǒng)創(chuàng)新與應用??
“缺芯少魂”（缺少芯片和操作系統(tǒng)）是“中國信息產(chǎn)業(yè)大而不強”主要的原因之一。陳海波長期致力于操作系統(tǒng)及相關領域的基礎研究及其成果轉化，正在為改變中國“少魂”的面貌做出重要貢獻。陳海波帶領團隊在低時延與高可信操作系統(tǒng)前沿研究與產(chǎn)業(yè)化方面取得了一系列成果，提出了低時延操作系統(tǒng)的關鍵方法，突破工業(yè)界通用操作系統(tǒng)的形式化驗證方法，提高了工業(yè)界操作系統(tǒng)的性能與安全性，破解了微內(nèi)核操作系統(tǒng)高性能、富生態(tài)與高安全難以兼得的技術難題，推動了我國操作系統(tǒng)的研究與大規(guī)模產(chǎn)業(yè)應用。堅持科技創(chuàng)新同國家需求、市場需要相結合，響應國家產(chǎn)學研結合的號召，主持研發(fā)的自主內(nèi)核是國際上首個同時兼具高信息安全（CC EAL 5+）和高功能安全（ISO 26262 ASIL-D）認證的操作系統(tǒng)內(nèi)核，并在智能終端、服務器等多個平臺部署超過數(shù)億級）。他也積極為我國開源操作系統(tǒng)社區(qū)積極貢獻，組建并擔任了OpenHarmony社區(qū)的技術指導委員會并擔任首任主席。信息科技經(jīng)過七十年來的洗煉正進入爆發(fā)期，系統(tǒng)軟件更將是這個精彩時代的核心。陳海波長期努力專注操作系統(tǒng)的科研，奠定了扎實的基礎、產(chǎn)出了優(yōu)質的成果，在當下和未來對于構筑國產(chǎn)自研高可信高性能操作系統(tǒng)具有重要推動作用。??
?