陳國良、孫永強(qiáng)教授獲中國計算機(jī)學(xué)會“終身成就獎”，為國內(nèi)并行算法和編譯技術(shù)先驅(qū)

蕭簫 2021-02-03 13:55:59 來源：量子位

蕭簫 發(fā)自 凹非寺
量子位 報道 | 公眾號 QbitAI

中國計算機(jī)學(xué)會“終身成就獎”，今年花落深大、上交。

這個獎項，只頒給“在計算機(jī)領(lǐng)域工作40年以上”的學(xué)者，歷年以來，張鈸院士、倪光南院士都曾獲得此獎項。

而在今年，“終身成就獎”頒給了深圳大學(xué)、中國科學(xué)技術(shù)大學(xué)教授陳國良，以及上海交通大學(xué)教授孫永強(qiáng)。

△陳國良，孫永強(qiáng)

他們之中，一位是并行計算的學(xué)科帶頭人，而另一位，則是國內(nèi)計算機(jī)語言和編譯技術(shù)的先驅(qū)。

非數(shù)值并行計算的“學(xué)科帶頭人”

陳國良，中國科學(xué)院院士，出生于1938年6月，1961年畢業(yè)于西安交通大學(xué)。

他現(xiàn)任深圳大學(xué)和中國科學(xué)技術(shù)大學(xué)教授、博士生導(dǎo)師，以及南京郵電大學(xué)計算機(jī)學(xué)院名譽(yù)院長等。

學(xué)術(shù)上，陳國良的主要研究領(lǐng)域為并行算法和高性能計算及其應(yīng)用，發(fā)表論文200多篇，曾獲得國家科技進(jìn)步二等獎、教育部科技進(jìn)步一等獎等20項獎項。

此外，他還先后承擔(dān)了國家863計劃、國家攀登計劃、國家973計劃、國家自然科學(xué)基金等10多項科研項目。

80年代初，陳國良在國內(nèi)最早開展了非數(shù)值并行算法的研究，在許多方面取得了國際同期臧匡恩成果，如分組選擇網(wǎng)絡(luò)、網(wǎng)絡(luò)最大流算法等。

90年代初，他在國內(nèi)早期開展了神經(jīng)網(wǎng)絡(luò)組合優(yōu)化和遺傳算法的研究，促進(jìn)了交叉學(xué)科的研究與發(fā)展。

此外，還與國際同期研制出具有世界先進(jìn)水平的并行神經(jīng)信息處理系統(tǒng)，為我國神經(jīng)網(wǎng)絡(luò)的教學(xué)、研究及應(yīng)用提供了良好的工具與環(huán)境。

1995年，陳國良創(chuàng)建了我國首個國家高性能計算中心，并先后研制了基于國產(chǎn)CPU的KD和SD系列的普及型高性能計算機(jī)。

△CCF“終身成就獎”頒獎現(xiàn)場

多年來，陳國良圍繞并行算法的教學(xué)與研究，逐漸形成了 “算法理論－算法設(shè)計－算法實現(xiàn)－算法應(yīng)用”一套完整的并行算法學(xué)科體系。

同時，他也提出了“并行機(jī)結(jié)構(gòu)－并行算法－并行編程”一體化的并行計算研究方法。

此外，他還營造了我國并行算法類的科研和教學(xué)基地，培養(yǎng)了200多名博士后、博士生和碩士研究生。

2013年，陳國良獲得中國計算機(jī)學(xué)會頒發(fā)的“杰出教育獎”。

2020年，中國計算機(jī)學(xué)會“終身成就獎”頒給陳國良教授：

陳國良教授在并行計算的理論研究、工程應(yīng)用和教學(xué)等方面做出了卓越貢獻(xiàn)。

國內(nèi)計算機(jī)語言&編譯先驅(qū)

孫永強(qiáng)，出生于1931年4月，1955年畢業(yè)于上海交通大學(xué)，歷任清華大學(xué)講師，上海交通大學(xué)副教授、教授。

學(xué)術(shù)上，他研究了50余年的計算機(jī)科學(xué)研究，涉及編譯原理、函數(shù)程序代數(shù)理論、軟件自動驗證、重寫技術(shù)等多個軟件技術(shù)分支。

20世紀(jì)60年代，孫永強(qiáng)領(lǐng)導(dǎo)實現(xiàn)了我國首批高級程序設(shè)計語言編譯器——911編譯程序系統(tǒng)。經(jīng)過優(yōu)化和改進(jìn)的編譯器，隨后在我國DJS-5型計算機(jī)上安裝，被國內(nèi)十余家單位采用。

這為我國獨立設(shè)計的中型通用電子管計算機(jī)系統(tǒng)的研制成功奠定了基礎(chǔ)。

此外，孫永強(qiáng)還對函數(shù)式語言的代數(shù)性質(zhì)進(jìn)行了開創(chuàng)性研究。他提出了程序代數(shù)求解理論，并在程序轉(zhuǎn)換和程序正確性驗證上取得了突破。

1987年，這一重要科技成果獲得國家自然科學(xué)獎。

孫永強(qiáng)還設(shè)計并實現(xiàn)了基于函數(shù)式語言的超大規(guī)模集成電路自動綜合和設(shè)計系統(tǒng)，可以根據(jù)功能描述，自動生成脈動式陣列的邏輯線路圖。

1993年，這項研究成果獲得國家教委科技進(jìn)步獎。

△CCF“終身成就獎”頒獎現(xiàn)場

而孫永強(qiáng)作為教授，也培育出了不少杰出的學(xué)子。

據(jù)公開資料顯示，孫永強(qiáng)教授培養(yǎng)的學(xué)生，如今已包括2位兩院院士和外籍院士，此外，也還有10余位國內(nèi)外高校教授。

為了推廣高級程序設(shè)計語言的編譯技術(shù)，孫永強(qiáng)等撰寫了《程序設(shè)計語言編譯原理》，榮獲國家級優(yōu)秀教材一等獎。

2020年，中國計算機(jī)學(xué)會“終身成就獎”頒給孫永強(qiáng)教授：

孫永強(qiáng)教授是我國第一代計算機(jī)軟件科研工作者，在計算機(jī)語言及其編譯等方面做出了卓越貢獻(xiàn)。

如何評選CCF終身成就獎？

中國計算機(jī)學(xué)會（CCF）終身成就獎（CCF Life Achievement Award）自2010年成立以來，如今已頒獎十載。

這一獎項，授予在計算機(jī)科學(xué)、技術(shù)和工程領(lǐng)域取得重大突破，成就卓著、貢獻(xiàn)巨大的中國計算機(jī)科技工作者。

獎項每年會評選一次，每次獲獎人數(shù)不超過2名。

獲獎?wù)咧辽傩枰谟嬎銠C(jī)領(lǐng)域從事專業(yè)工作40年，且年齡在70歲以上，才有資格評選這一獎項。

參考鏈接：

https://www.ccf.org.cn/Awards/Policy/

https://www.ccf.org.cn/Awards/Awards/2021-02-01/722107.shtml

https://kjb.szu.edu.cn/info/1013/2215.htm

http://www2018.ustc.edu.cn/2018/0829/c16337a340260/page.htm

https://mp.weixin.qq.com/s/V0VMhMztcyeopAsJp5uokw

https://www.ccf.org.cn/zscjj/2021-01-21/722022.shtml

https://www.ccf.org.cn/zscjj/2021-01-21/722023.shtml

http://news.sciencenet.cn/htmlnews/2021/2/452659.shtm