陳國良、孫永強教授獲中國計算機學會“終身成就獎”，為國內并行算法和編譯技術先驅

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

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

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

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

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

△陳國良，孫永強

他們之中，一位是并行計算的學科帶頭人，而另一位，則是國內計算機語言和編譯技術的先驅。

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

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

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

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

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

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

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

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

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

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

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

同時，他也提出了“并行機結構－并行算法－并行編程”一體化的并行計算研究方法。

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

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

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

陳國良教授在并行計算的理論研究、工程應用和教學等方面做出了卓越貢獻。

國內計算機語言&編譯先驅

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

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

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

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

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

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

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

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

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

而孫永強作為教授，也培育出了不少杰出的學子。

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

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

2020年，中國計算機學會“終身成就獎”頒給孫永強教授：

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

如何評選CCF終身成就獎？

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

這一獎項，授予在計算機科學、技術和工程領域取得重大突破，成就卓著、貢獻巨大的中國計算機科技工作者。

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

獲獎者至少需要在計算機領域從事專業(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