2021年1月31日，中國計算機學會（CCF）舉行頒獎典禮，授予上海交通大學電子信息與電氣工程學院計算機係孫永強教授2020年“CCF終身成就獎”，以表彰他在計算機語言及其編譯等方麵作出的卓越貢獻。中國科學院院士、深圳大學教授陳國良同獲此殊榮。

　　孫永強教授是我國著名的計算機科學家和教育家。1931年出生於浙江嘉善市，1955年畢業於上海交通大學電力係，曆任清華大學講師，上海交通大學副教授、教授。曾擔任國務院學位委員會第二屆學科評議組成員。作為我國第一代計算機軟件科研工作者，孫永強教授長期從事計算機科學研究，涉及編譯原理、函數程序代數理論、軟件自動驗證、重寫技術等多個軟件技術分支，在國內外重要刊物和會議發表論文百餘篇，培養計算機軟件與理論方向博士30餘名，曾獲國家自然科學獎等多項獎勵。

　　早在二十世紀60年代，孫永強教授就帶領團隊實現了我國第一批高級程序設計語言編譯器，為我國獨立設計的中型通用電子管計算機係統的研製成功奠定了基礎，經過優化和改進的編譯器隨後在我國DJS-5型計算機上安裝，被國內十餘家單位采用。為了推廣高級程序設計語言編譯技術，他和陳火旺教授等一起撰寫了《程序設計語言編譯原理》一書，獲得了國家級優秀教材一等獎。

　　改革開放後，孫永強教授對函數式語言的代數性質進行了開創性研究，提出了程序代數求解理論，在程序轉換和程序正確性驗證上取得了突破，被列為國家自然科學基金資助的重大科技成果，並於1987年獲得了國家自然科學獎。孫永強教授還設計並實現了基於函數式語言的超大規模集成電路自動綜合和設計係統，該係統能根據功能描述自動生成脈動式陣列的邏輯線路圖，成果於1993年獲得了國家教委科技進步獎。

　　孫永強教授在一線教學崗位上兢兢業業辛勤耕耘了50餘年，是上海交通大學計算機係的第一位博士生導師。他治學上實事求是的嚴謹態度，腳踏實地的務實作風給學生樹立了很好的榜樣。他培養的學生如今大多成為各個單位的教學和科研骨幹，既有成為兩院院士和外籍院士的，也有10餘位被聘為國內外著名高校的正教授，他們正秉承孫永強教授“身正為師，德高為範”的風範，為祖國奉獻才智，為社會輸送人才。

　　孫永強教授是上海交通大學計算機科學與技術學科的奠基者。他在上海交大計算機學科的建設中傾注了大量心血，作為曾經的學科帶頭人，從學科發展規劃、高層次人才引進，到課程體係建設、學生培養等，他事必躬親，身體力行，正是孫永強教授為代表的老一輩計算機工作者的堅持不懈的努力，交大的計算機學科才隨著改革開放，從一個從事艦船專用計算機教學和研究的教研組，迅速成長成為世界知名院係，並邁向世界一流。

　　中國計算機學會“終身成就獎”於2010年設立，授予在計算機科學、技術和工程領域取得重大突破，成就卓著、貢獻巨大的資深中國計算機科技工作者。