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