0
本文作者: 黃善清 | 2019-01-20 11:45 |
雷鋒網 AI 科技評論按:2019 年 1 月 19 日,2018 CCF (中國計算機學會)頒獎大會在北京金隅喜來登酒店隆重舉行,過去一年里為 CCF 發(fā)展做出貢獻的 300 余位嘉賓從全國各地匯聚一堂,應邀見證了這輝煌榮耀的時刻。會上一共頒出 8 個獎項,其中「CCF 終身成就獎」由來自中國人民解放軍軍事科學院的何新貴研究員和來自中國科學院的周巢塵研究員共同獲得。
頒獎會以「責任?創(chuàng)新?奉獻」為主題,頒發(fā)了 2018 年度 CCF 終身成就獎、CCF 夏培肅獎、CCF 杰出貢獻獎、CCF 卓越服務獎、CCF 杰出教育獎、CCF 計算機企業(yè)家獎、CCF 杰出工程師獎、CCF 優(yōu)秀博士學位論文獎等 8 個獎項。
其中「CCF 終身成就獎」授予了中國人民解放軍軍事科學院系統(tǒng)工程研究院系統(tǒng)總體研究所何新貴研究員和中國科學院軟件研究所周巢塵研究員,以表彰他們?yōu)橹袊嬎銠C事業(yè)的發(fā)展做出的卓越貢獻。
最后,雷鋒網 AI 科技評論將大會完整獲獎名單整理如下:
CCF 終身成就獎
授予在計算機科學、技術和工程領域取得重大突破,成就卓著、貢獻巨大的資深中國計算機科技工作者。該獎于 2010 年設立。
【何新貴研究員】
CCF會士,中國工程院院士
獲獎理由:
何新貴研究員是我國首批計算機軟件工作者之一,長期從事計算機軟件、人工智能的理論研究和工程實踐,參加并主持了我國多項軍用軟件的研制工作。
70 年代初,他在國產計算機上成功研制出多個 FORTRAN 編譯系統(tǒng),是我國第一批自主開發(fā)并向全國推廣的編譯程序系統(tǒng),有效促使我國軍用數值計算擺脫落后的編程狀態(tài),促使我國工程領域全面采用高級程序設計語言。他提出的模糊數庫、加權模糊邏輯、模糊分布值邏輯、可執(zhí)行模糊語義網絡、模糊 H 網、主動模糊網絡、模糊推理網絡、加權神經元網絡以及過程神經元網絡等理論與技術對邊緣科學、「知識處理學」的建立和發(fā)展起了較大作用。他在編譯、數據庫、模糊邏輯、最優(yōu)化處理和軍用軟件等領域做出了突出貢獻,促進了我國數據庫、人工智能和軟件工程技術發(fā)展和應用。
鑒于何新貴研究員為中國計算機事業(yè)的發(fā)展做出的卓越貢獻,CCF 獎勵委員會決定將 2018 年「CCF 終身成就獎」授予他,以表彰他的成就和貢獻。
【周巢塵研究員】
CCF 會士,中國科學院院士
獲獎理由:
周巢塵研究員是我國分布式程序設計理論研究的先驅者和開拓者之一,國際著名計算機理論專家,第三世界科學院院士。長期從事分布式計算、理論計算機科學等方面研究。
1981 年,他與英國科學家合作提出了分布式計算系統(tǒng)正確性的組合式驗證方法。1991 年,他與英國及丹麥科學家合作建立了時段演算理論 (Duration Calculus),在國際上首次將連續(xù)數學概念(積分)引入計算機科學,并基于區(qū)間時序邏輯,建立了實時系統(tǒng)形式設計和驗證的邏輯方法,開創(chuàng)了實時系統(tǒng)形式設計的新途徑。后續(xù)引領國際二十多個國家的科學家參與這一方面的研究,使得時段演算理論和時間自動理論被認為是形式設計實時系統(tǒng)的兩個主流方法。
鑒于周巢塵研究員為中國計算機事業(yè)的發(fā)展做出的卓越貢獻,CCF 獎勵委員會決定將 2018 年「CCF 終身成就獎」授予他,以表彰他的成就和貢獻。
CCF 夏培肅獎
授予在學術、工程、教育及產業(yè)等領域,為推動中國的計算機事業(yè)做出杰出貢獻、取得突出成就的女性科技工作者。該獎于 2014 年設立。
【李曉梅教授】
獲獎理由:
李曉梅教授是我國數值并行算法研究的開拓者之一,為銀河-I/銀河-II 超級計算機研制和數值天氣預報、核模擬、石油勘探等領域的向量化應用軟件研制,及我國并行計算教育和人才培養(yǎng)做出了突出貢獻。
為此,CCF 獎勵委員會決定授予李曉梅教授 2018 年「CCF 夏培肅獎」,以表彰她在并行算法研究方面所做出的杰出貢獻。
【于洪志教授】
獲獎理由:
于洪志教授長期從事藏文信息處理研究,在藏文編碼國際標準、藏漢雙語信息處理、藏文字處理軟件等方面做出了突出貢獻,推動了少數民族語言信息處理技術發(fā)展和應用普及。
為此,CCF 獎勵委員會決定授予于洪志教授 2018 年「CCF 夏培肅獎」,以表彰她在藏文信息處理研究方面所做出的杰出貢獻。
CCF 卓越服務獎
授予為 CCF 連續(xù)服務十年以上并有重要貢獻的 CCF 會員。該獎于 2011 年設立。
【臧根林博士】
獲獎理由:
臧根林博士,CCF 常務理事。自 2003 年起,參與創(chuàng)建 YOCSEF 廣州分論壇和廣州會員活動中心,歷任副主席、主席等職。擔任 CCF 廣州主席后,在當地會員服務和發(fā)展方面取得了極大的進展,使廣州分部成為優(yōu)秀分部。他多次在「CCF 走進高?!怪醒葜v,深度參與 CCF 呂梁教育扶貧項目,貢獻巨大。他是多年服務于 CCF 并做出重要貢獻的志愿者。
為此,CCF 獎勵委員會決定授予臧根林博士 2018 年「CCF 卓越服務獎」,以表彰他對 CCF 的重要貢獻。
CCF 杰出貢獻獎
獎勵對 CCF 有獨特或重大貢獻;就重大問題提出獨到觀點或建議被 CCF 采納并產生良好效果;發(fā)起并組織 CCF 有影響力的新的系列學術會議;推動學會與其他組織合作,促進了 CCF 的發(fā)展;向學會提供大額捐贈或資助;有其他獨特或重大貢獻的個人或單位。該獎于 2010 年設立。
【 David Alan Grier 教授】
獲獎理由:
David Alan Grier 教授受 CCF 邀請,2013 年 3 月起成為《中國計算機學會通訊》(CCCF)的專欄作家,堅持每月為 CCCF 撰寫專欄文章。他的很有深度的文章受到 CCF 會員及其他讀者的高度好評,提升了 CCCF 在業(yè)界的影響力。他高度認同 CCF 的文化并努力幫助 CCF 發(fā)展。
為此,CCF 獎勵委員會決定授予 David Alan Grier 教授 2018 年「CCF 杰出貢獻獎」,以表彰他對 CCF 的杰出貢獻。
【肖建國教授】
CCF 會士
獲獎理由:
肖建國教授 2010 年受學會委托,承擔 CCF 中文信息技術專委會重組的重任,完成重組后被選舉為專委主任,長達六年。在任期間,他領導專委嚴格按 CCF 規(guī)章積極開展各項活動,使該專委成為 CCF 最優(yōu)秀專委之一。
為此,CCF 獎勵委員會決定授予肖建國教授 2018 年「CCF 杰出貢獻獎」,以表彰他對 CCF 的杰出貢獻。
CCF 計算機企業(yè)家獎
授予在計算機和信息產業(yè)發(fā)展方面做出重大貢獻的企業(yè)領導者,且企業(yè)的業(yè)績被業(yè)內和社會廣泛認可。該獎于 2013 年設立。
【陳志列先生】
獲獎理由:
陳志列先生帶領團隊創(chuàng)立研祥集團,堅持以工業(yè)控制計算機為主體,奮斗二十余年,推動了我國特種計算機技術與產業(yè)的發(fā)展。
為此,CCF 獎勵委員會決定授予陳志列先生 2018 年「CCF 計算機企業(yè)家獎」,以表彰他對工業(yè)控制計算機產業(yè)所做出的突出貢獻。
CCF杰出工程師獎
授予在計算機工程技術及應用領域有突出成就和重要貢獻者。該獎于 2016 年設立。
【劉聰博士】
獲獎理由:
劉聰博士在語音識別領域不斷創(chuàng)新,并實現語音識別準確率持續(xù)提升,多次獲得國際語音識別技術評測冠軍。
為此,CCF 獎勵委員會決定授予劉聰博士 2018 年「CCF 杰出工程師獎」,以表彰他在語音識別技術和語音開放平臺方面所做出的貢獻。
【吳峰光博士】
獲獎理由:
吳峰光博士過去十幾年在 Linux 內核上孜孜不倦地工作,從讀寫緩存算法、內存管理機制到 NVDIMM 支持等做了非常出色的貢獻,0day/LKP(Linux Kernel Performance) 測試系統(tǒng)在全球 Linux 社區(qū)得到廣泛應用。他是國內 Linux 開源杰出貢獻者之一。
為此,CCF 獎勵委員會決定授予吳峰光博士 2018 年「CCF 杰出工程師獎」,以表彰他在 Linux 內核和開源社區(qū)方面所做出的貢獻。
CCF 杰出教育獎
授予在計算機教育的教育思想、教學方法、教學、課程改革和人才培養(yǎng)方面有突出貢獻,或在 CCF 推動中國計算機教育改革與發(fā)展方面有重要貢獻的人士。該獎于 2012 年設立。
【楊士強教授】
CCF 會士
獲獎理由:
楊士強教授在推動國家級計算機類實驗教學示范中心建設和引領我國計算機類專業(yè)實踐教學改革方面發(fā)揮了重要作用,在組織實施 CCF 走進高校中貢獻巨大。他教書育人,成果豐碩。
為此,CCF 獎勵委員會決定授予楊士強教授 2018 年「CCF 杰出教育獎」。
CCF 優(yōu)秀博士學位論文獎
授予在計算機科學與技術及其相關領域的基礎理論或應用基礎研究方面有重要突破,或在關鍵技術和應用技術方面有重要創(chuàng)新的中國計算機領域博士學位論文的作者。2006 年設立。為了鼓勵研究人員將高質量研究成果優(yōu)先發(fā)表在中文期刊,從2018年起,“CCF優(yōu)秀博士學位論文獎”將發(fā)表母語論文作為參評剛性要求。
雷鋒網 AI 科技評論
雷峰網原創(chuàng)文章,未經授權禁止轉載。詳情見轉載須知。