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