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