雷鋒網(wǎng) AI 科技評(píng)論按：2019 年 1 月 19 日，2018  CCF （中國(guó)計(jì)算機(jī)學(xué)會(huì)）頒獎(jiǎng)大會(huì)在北京金隅喜來(lái)登酒店隆重舉行，過(guò)去一年里為 CCF 發(fā)展做出貢獻(xiàn)的 300 余位嘉賓從全國(guó)各地匯聚一堂，應(yīng)邀見(jiàn)證了這輝煌榮耀的時(shí)刻。會(huì)上一共頒出 8 個(gè)獎(jiǎng)項(xiàng)，其中「CCF 終身成就獎(jiǎng)」由來(lái)自中國(guó)人民解放軍軍事科學(xué)院的何新貴研究員和來(lái)自中國(guó)科學(xué)院的周巢塵研究員共同獲得。

頒獎(jiǎng)會(huì)以「責(zé)任?創(chuàng)新?奉獻(xiàn)」為主題，頒發(fā)了 2018 年度 CCF 終身成就獎(jiǎng)、CCF 夏培肅獎(jiǎng)、CCF 杰出貢獻(xiàn)獎(jiǎng)、CCF 卓越服務(wù)獎(jiǎng)、CCF 杰出教育獎(jiǎng)、CCF 計(jì)算機(jī)企業(yè)家獎(jiǎng)、CCF 杰出工程師獎(jiǎng)、CCF 優(yōu)秀博士學(xué)位論文獎(jiǎng)等 8 個(gè)獎(jiǎng)項(xiàng)。

其中「CCF 終身成就獎(jiǎng)」授予了中國(guó)人民解放軍軍事科學(xué)院系統(tǒng)工程研究院系統(tǒng)總體研究所何新貴研究員和中國(guó)科學(xué)院軟件研究所周巢塵研究員，以表彰他們?yōu)橹袊?guó)計(jì)算機(jī)事業(yè)的發(fā)展做出的卓越貢獻(xiàn)。

最后，雷鋒網(wǎng) AI 科技評(píng)論將大會(huì)完整獲獎(jiǎng)名單整理如下：

CCF 終身成就獎(jiǎng)

授予在計(jì)算機(jī)科學(xué)、技術(shù)和工程領(lǐng)域取得重大突破，成就卓著、貢獻(xiàn)巨大的資深中國(guó)計(jì)算機(jī)科技工作者。該獎(jiǎng)于 2010 年設(shè)立。

【何新貴研究員】

CCF會(huì)士，中國(guó)工程院院士

獲獎(jiǎng)理由:

何新貴研究員是我國(guó)首批計(jì)算機(jī)軟件工作者之一，長(zhǎng)期從事計(jì)算機(jī)軟件、人工智能的理論研究和工程實(shí)踐，參加并主持了我國(guó)多項(xiàng)軍用軟件的研制工作。

70 年代初，他在國(guó)產(chǎn)計(jì)算機(jī)上成功研制出多個(gè) FORTRAN 編譯系統(tǒng)，是我國(guó)第一批自主開(kāi)發(fā)并向全國(guó)推廣的編譯程序系統(tǒng)，有效促使我國(guó)軍用數(shù)值計(jì)算擺脫落后的編程狀態(tài)，促使我國(guó)工程領(lǐng)域全面采用高級(jí)程序設(shè)計(jì)語(yǔ)言。他提出的模糊數(shù)庫(kù)、加權(quán)模糊邏輯、模糊分布值邏輯、可執(zhí)行模糊語(yǔ)義網(wǎng)絡(luò)、模糊 H 網(wǎng)、主動(dòng)模糊網(wǎng)絡(luò)、模糊推理網(wǎng)絡(luò)、加權(quán)神經(jīng)元網(wǎng)絡(luò)以及過(guò)程神經(jīng)元網(wǎng)絡(luò)等理論與技術(shù)對(duì)邊緣科學(xué)、「知識(shí)處理學(xué)」的建立和發(fā)展起了較大作用。他在編譯、數(shù)據(jù)庫(kù)、模糊邏輯、最優(yōu)化處理和軍用軟件等領(lǐng)域做出了突出貢獻(xiàn)，促進(jìn)了我國(guó)數(shù)據(jù)庫(kù)、人工智能和軟件工程技術(shù)發(fā)展和應(yīng)用。

鑒于何新貴研究員為中國(guó)計(jì)算機(jī)事業(yè)的發(fā)展做出的卓越貢獻(xiàn)，CCF 獎(jiǎng)勵(lì)委員會(huì)決定將 2018 年「CCF 終身成就獎(jiǎng)」授予他，以表彰他的成就和貢獻(xiàn)。

【周巢塵研究員】

CCF 會(huì)士，中國(guó)科學(xué)院院士

獲獎(jiǎng)理由:

周巢塵研究員是我國(guó)分布式程序設(shè)計(jì)理論研究的先驅(qū)者和開(kāi)拓者之一，國(guó)際著名計(jì)算機(jī)理論專(zhuān)家，第三世界科學(xué)院院士。長(zhǎng)期從事分布式計(jì)算、理論計(jì)算機(jī)科學(xué)等方面研究。

1981 年，他與英國(guó)科學(xué)家合作提出了分布式計(jì)算系統(tǒng)正確性的組合式驗(yàn)證方法。1991 年，他與英國(guó)及丹麥科學(xué)家合作建立了時(shí)段演算理論 (Duration Calculus)，在國(guó)際上首次將連續(xù)數(shù)學(xué)概念（積分）引入計(jì)算機(jī)科學(xué)，并基于區(qū)間時(shí)序邏輯，建立了實(shí)時(shí)系統(tǒng)形式設(shè)計(jì)和驗(yàn)證的邏輯方法，開(kāi)創(chuàng)了實(shí)時(shí)系統(tǒng)形式設(shè)計(jì)的新途徑。后續(xù)引領(lǐng)國(guó)際二十多個(gè)國(guó)家的科學(xué)家參與這一方面的研究，使得時(shí)段演算理論和時(shí)間自動(dòng)理論被認(rèn)為是形式設(shè)計(jì)實(shí)時(shí)系統(tǒng)的兩個(gè)主流方法。

鑒于周巢塵研究員為中國(guó)計(jì)算機(jī)事業(yè)的發(fā)展做出的卓越貢獻(xiàn)，CCF 獎(jiǎng)勵(lì)委員會(huì)決定將 2018 年「CCF 終身成就獎(jiǎng)」授予他，以表彰他的成就和貢獻(xiàn)。

CCF 夏培肅獎(jiǎng)

授予在學(xué)術(shù)、工程、教育及產(chǎn)業(yè)等領(lǐng)域，為推動(dòng)中國(guó)的計(jì)算機(jī)事業(yè)做出杰出貢獻(xiàn)、取得突出成就的女性科技工作者。該獎(jiǎng)于 2014 年設(shè)立。

【李曉梅教授】

獲獎(jiǎng)理由:

李曉梅教授是我國(guó)數(shù)值并行算法研究的開(kāi)拓者之一，為銀河-I/銀河-II 超級(jí)計(jì)算機(jī)研制和數(shù)值天氣預(yù)報(bào)、核模擬、石油勘探等領(lǐng)域的向量化應(yīng)用軟件研制，及我國(guó)并行計(jì)算教育和人才培養(yǎng)做出了突出貢獻(xiàn)。

為此，CCF 獎(jiǎng)勵(lì)委員會(huì)決定授予李曉梅教授 2018 年「CCF 夏培肅獎(jiǎng)」，以表彰她在并行算法研究方面所做出的杰出貢獻(xiàn)。

【于洪志教授】

獲獎(jiǎng)理由:

于洪志教授長(zhǎng)期從事藏文信息處理研究，在藏文編碼國(guó)際標(biāo)準(zhǔn)、藏漢雙語(yǔ)信息處理、藏文字處理軟件等方面做出了突出貢獻(xiàn)，推動(dòng)了少數(shù)民族語(yǔ)言信息處理技術(shù)發(fā)展和應(yīng)用普及。

為此，CCF 獎(jiǎng)勵(lì)委員會(huì)決定授予于洪志教授 2018 年「CCF 夏培肅獎(jiǎng)」，以表彰她在藏文信息處理研究方面所做出的杰出貢獻(xiàn)。

CCF 卓越服務(wù)獎(jiǎng)

授予為 CCF 連續(xù)服務(wù)十年以上并有重要貢獻(xiàn)的 CCF 會(huì)員。該獎(jiǎng)于 2011 年設(shè)立。

【臧根林博士】

獲獎(jiǎng)理由:

臧根林博士，CCF 常務(wù)理事。自 2003 年起，參與創(chuàng)建 YOCSEF 廣州分論壇和廣州會(huì)員活動(dòng)中心，歷任副主席、主席等職。擔(dān)任 CCF 廣州主席后，在當(dāng)?shù)貢?huì)員服務(wù)和發(fā)展方面取得了極大的進(jìn)展，使廣州分部成為優(yōu)秀分部。他多次在「CCF 走進(jìn)高?！怪醒葜v，深度參與 CCF 呂梁教育扶貧項(xiàng)目，貢獻(xiàn)巨大。他是多年服務(wù)于 CCF 并做出重要貢獻(xiàn)的志愿者。

為此，CCF 獎(jiǎng)勵(lì)委員會(huì)決定授予臧根林博士 2018 年「CCF 卓越服務(wù)獎(jiǎng)」，以表彰他對(duì) CCF 的重要貢獻(xiàn)。

CCF 杰出貢獻(xiàn)獎(jiǎng)

獎(jiǎng)勵(lì)對(duì) CCF 有獨(dú)特或重大貢獻(xiàn)；就重大問(wèn)題提出獨(dú)到觀點(diǎn)或建議被 CCF 采納并產(chǎn)生良好效果；發(fā)起并組織 CCF 有影響力的新的系列學(xué)術(shù)會(huì)議；推動(dòng)學(xué)會(huì)與其他組織合作，促進(jìn)了 CCF 的發(fā)展；向?qū)W會(huì)提供大額捐贈(zèng)或資助；有其他獨(dú)特或重大貢獻(xiàn)的個(gè)人或單位。該獎(jiǎng)于 2010 年設(shè)立。

【 David Alan Grier 教授】

獲獎(jiǎng)理由:

David Alan Grier 教授受 CCF 邀請(qǐng)，2013 年 3 月起成為《中國(guó)計(jì)算機(jī)學(xué)會(huì)通訊》（CCCF）的專(zhuān)欄作家，堅(jiān)持每月為 CCCF 撰寫(xiě)專(zhuān)欄文章。他的很有深度的文章受到 CCF 會(huì)員及其他讀者的高度好評(píng)，提升了 CCCF 在業(yè)界的影響力。他高度認(rèn)同 CCF 的文化并努力幫助 CCF 發(fā)展。

為此，CCF 獎(jiǎng)勵(lì)委員會(huì)決定授予 David Alan Grier 教授 2018 年「CCF 杰出貢獻(xiàn)獎(jiǎng)」，以表彰他對(duì) CCF 的杰出貢獻(xiàn)。

【肖建國(guó)教授】

CCF 會(huì)士

獲獎(jiǎng)理由:

肖建國(guó)教授 2010 年受學(xué)會(huì)委托，承擔(dān) CCF 中文信息技術(shù)專(zhuān)委會(huì)重組的重任，完成重組后被選舉為專(zhuān)委主任，長(zhǎng)達(dá)六年。在任期間，他領(lǐng)導(dǎo)專(zhuān)委嚴(yán)格按 CCF 規(guī)章積極開(kāi)展各項(xiàng)活動(dòng)，使該專(zhuān)委成為 CCF 最優(yōu)秀專(zhuān)委之一。

為此，CCF 獎(jiǎng)勵(lì)委員會(huì)決定授予肖建國(guó)教授 2018 年「CCF 杰出貢獻(xiàn)獎(jiǎng)」，以表彰他對(duì) CCF 的杰出貢獻(xiàn)。

CCF 計(jì)算機(jī)企業(yè)家獎(jiǎng)

授予在計(jì)算機(jī)和信息產(chǎn)業(yè)發(fā)展方面做出重大貢獻(xiàn)的企業(yè)領(lǐng)導(dǎo)者，且企業(yè)的業(yè)績(jī)被業(yè)內(nèi)和社會(huì)廣泛認(rèn)可。該獎(jiǎng)于 2013 年設(shè)立。

【陳志列先生】

獲獎(jiǎng)理由:

陳志列先生帶領(lǐng)團(tuán)隊(duì)創(chuàng)立研祥集團(tuán)，堅(jiān)持以工業(yè)控制計(jì)算機(jī)為主體，奮斗二十余年，推動(dòng)了我國(guó)特種計(jì)算機(jī)技術(shù)與產(chǎn)業(yè)的發(fā)展。

為此，CCF 獎(jiǎng)勵(lì)委員會(huì)決定授予陳志列先生 2018 年「CCF 計(jì)算機(jī)企業(yè)家獎(jiǎng)」，以表彰他對(duì)工業(yè)控制計(jì)算機(jī)產(chǎn)業(yè)所做出的突出貢獻(xiàn)。

CCF杰出工程師獎(jiǎng)

授予在計(jì)算機(jī)工程技術(shù)及應(yīng)用領(lǐng)域有突出成就和重要貢獻(xiàn)者。該獎(jiǎng)于 2016 年設(shè)立。

【劉聰博士】

獲獎(jiǎng)理由:

劉聰博士在語(yǔ)音識(shí)別領(lǐng)域不斷創(chuàng)新，并實(shí)現(xiàn)語(yǔ)音識(shí)別準(zhǔn)確率持續(xù)提升，多次獲得國(guó)際語(yǔ)音識(shí)別技術(shù)評(píng)測(cè)冠軍。

為此，CCF 獎(jiǎng)勵(lì)委員會(huì)決定授予劉聰博士 2018 年「CCF 杰出工程師獎(jiǎng)」，以表彰他在語(yǔ)音識(shí)別技術(shù)和語(yǔ)音開(kāi)放平臺(tái)方面所做出的貢獻(xiàn)。

【吳峰光博士】

獲獎(jiǎng)理由:

吳峰光博士過(guò)去十幾年在 Linux 內(nèi)核上孜孜不倦地工作，從讀寫(xiě)緩存算法、內(nèi)存管理機(jī)制到 NVDIMM 支持等做了非常出色的貢獻(xiàn)，0day/LKP(Linux Kernel Performance) 測(cè)試系統(tǒng)在全球 Linux 社區(qū)得到廣泛應(yīng)用。他是國(guó)內(nèi) Linux 開(kāi)源杰出貢獻(xiàn)者之一。

為此，CCF 獎(jiǎng)勵(lì)委員會(huì)決定授予吳峰光博士 2018 年「CCF 杰出工程師獎(jiǎng)」，以表彰他在 Linux 內(nèi)核和開(kāi)源社區(qū)方面所做出的貢獻(xiàn)。

CCF 杰出教育獎(jiǎng)

授予在計(jì)算機(jī)教育的教育思想、教學(xué)方法、教學(xué)、課程改革和人才培養(yǎng)方面有突出貢獻(xiàn)，或在 CCF 推動(dòng)中國(guó)計(jì)算機(jī)教育改革與發(fā)展方面有重要貢獻(xiàn)的人士。該獎(jiǎng)于 2012 年設(shè)立。

【楊士強(qiáng)教授】

CCF 會(huì)士

獲獎(jiǎng)理由:

楊士強(qiáng)教授在推動(dòng)國(guó)家級(jí)計(jì)算機(jī)類(lèi)實(shí)驗(yàn)教學(xué)示范中心建設(shè)和引領(lǐng)我國(guó)計(jì)算機(jī)類(lèi)專(zhuān)業(yè)實(shí)踐教學(xué)改革方面發(fā)揮了重要作用，在組織實(shí)施 CCF 走進(jìn)高校中貢獻(xiàn)巨大。他教書(shū)育人，成果豐碩。

為此，CCF 獎(jiǎng)勵(lì)委員會(huì)決定授予楊士強(qiáng)教授 2018 年「CCF 杰出教育獎(jiǎng)」。

CCF 優(yōu)秀博士學(xué)位論文獎(jiǎng)

授予在計(jì)算機(jī)科學(xué)與技術(shù)及其相關(guān)領(lǐng)域的基礎(chǔ)理論或應(yīng)用基礎(chǔ)研究方面有重要突破，或在關(guān)鍵技術(shù)和應(yīng)用技術(shù)方面有重要?jiǎng)?chuàng)新的中國(guó)計(jì)算機(jī)領(lǐng)域博士學(xué)位論文的作者。2006 年設(shè)立。為了鼓勵(lì)研究人員將高質(zhì)量研究成果優(yōu)先發(fā)表在中文期刊，從2018年起，“CCF優(yōu)秀博士學(xué)位論文獎(jiǎng)”將發(fā)表母語(yǔ)論文作為參評(píng)剛性要求。

雷鋒網(wǎng) AI 科技評(píng)論

雷峰網(wǎng)原創(chuàng)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見(jiàn)轉(zhuǎn)載須知。