孫永強，1931年出生于嘉善縣，畢業于上海交通大學電力系。中國計算機科學家和教育家，曾任上海交通大學教授、博士生導師。曾擔任國務院學位委員會第二屆學科評議組成員。
1955年，隨著蘇聯科技代表團訪華，計算機技術開始提上中國發展的議程。孫永強從交通大學電子系畢業，在清華大學參加工作不久，就被抽調至新成立的計算數學教研室，負責計算機的邏輯設計部分。1964年實現了中國第一代編譯系統，911編譯器。改革開放后，孫永強教授對函數式語言的代數性質進行了開創性研究，提出了程序代數求解理論，在程序轉換和程序正確性驗證上取得了突破，被列為國家自然科學基金資助的重大科技成果，并于1987年獲得國家自然科學獎。在訪問卡耐基·梅隆大學期間，他大膽地將此方法應用于脈動陣列機的驗證，并在回國后完成了以FP作為描述語言的多層次的超大規模集成電路自動綜合和設計系統。該系統能根據功能描述自動生成脈動式陣列的邏輯線路圖，成果于1993年獲得國家教委科技進步獎。
2021年1月31日，中國計算機學會（中國計算機學會夏培肅獎）舉行頒獎典禮，孫永強教授獲得中國計算機學會2020年“中國計算機學會夏培肅獎特別貢獻獎”。2023年9月13日，孫永強先生上臺為2021年、2022年與2023年孫永強青年學者獎獲得者李超、傅洛伊、冷靜文頒獎并送上鼓勵與寄語。
人物經歷
1949年進入交通大學學習。孫永強于1955年畢業于交通大學電力系。1955年，隨著蘇聯科技代表團訪華，計算機技術開始提上中國發展的議程。孫永強從交通大學電子系畢業，在清華大學參加工作不久，就被抽調至新成立的計算數學教研室，負責計算機的邏輯設計部分。1955年畢業于上海交通大學電力系，歷任清華大學講師，上海交通大學副教授、教授。曾擔任國務院學位委員會第二屆學科評議組成員。從事計算機科學研究50余年，涉及編譯原理、函數程序代數理論、軟件自動驗證、重寫技術等多個軟件技術分支，在中國外重要刊物和會議發表論文百余篇，培養計算機軟件與理論方向博士30余名，曾獲國家自然科學獎等多項獎勵。1964年實現了中國第一代編譯系統，911編譯器。為中國獨立設計的中型通用電子管計算機系統的研制成功奠定了基礎。經過優化和改進的編譯器隨后在中國DJS-5型計算機上安裝，被中國十余家單位采用。為了推廣高級程序設計語言編譯技術，孫永強和陳火旺教授等一起撰寫了《程序設計語言編譯原理》一書，榮獲國家級優秀教材一等獎。
改革開放后，孫永強教授對函數式語言的代數性質進行了開創性研究，提出了程序代數求解理論，在程序轉換和程序正確性驗證上取得了突破，被列為國家自然科學基金資助的重大科技成果，并于1987年獲得國家自然科學獎。該系統能根據功能描述自動生成脈動式陣列的邏輯線路圖，成果于1993年獲得國家教委科技進步獎。
1974年回到上海交通大學后，他把興趣轉向了計算機軟件理論；并擔任新成立的計算機教研室主任。他力爭從教學計劃中刪去對計算機無益的課程，提高數學課程的難度。用 PASCAL語言代替BASIC語言教學的超前主張為交大計算機系未來的長遠發展奠定了堅實的基礎。1985年10月，孫永強應邀訪問卡耐基·梅隆大學(CMU)，進行為期1年的學術訪問、學習與交流。1987年獲得國家自然科學三等獎。孫永強教授還設計并實現了基于函數式語言的超大規模集成電路自動綜合和設計系統，該系統能根據功能描述自動生成脈動式陣列的邏輯線路圖，成果于1993年獲得了國家教委科技進步獎。
2021年1月31日，孫永強教授獲得中國計算機學會2020年“中國計算機學會夏培肅獎特別貢獻獎”，同年4月7日下午，他作為主講嘉賓出席在電院3-200報告廳舉行的“我和計算機的故事”學者課堂第一期。當天，85屆計算機系教育發展基金秘書長盧建軍校友代表基金理事會發言，宣布將85基金的“優秀青年教師獎”更名為“孫永強先生獎”，以表彰優秀的青年教師，并鼓勵他們向孫永強教授學習。
2023年9月13日，孫永強先生上臺為2021年、2022年與2023年孫永強青年學者獎獲得者李超、傅洛伊、冷靜文頒獎并送上鼓勵與寄語。
主要成果
二十世紀60年代，孫永強教授就帶領團隊實現了中國第一批高級程序設計語言編譯器，為中國獨立設計的中型通用電子管計算機系統的研制成功奠定了基礎，經過優化和改進的編譯器隨后在中國DJS-5型計算機上安裝，被中國十余家單位采用。為了推廣高級程序設計語言編譯技術，他和陳火旺教授等一起撰寫了《程序設計語言編譯原理》一書，獲得了國家級優秀教材一等獎。
改革開放后，孫永強教授對函數式語言的代數性質進行了開創性研究，提出了程序代數求解理論，在程序轉換和程序正確性驗證上取得了突破，被列為國家自然科學基金資助的重大科技成果，并于1987年獲得了國家自然科學獎三等獎。在訪問卡耐基·梅隆大學期間，他大膽地將此方法應用于脈動陣列機的驗證，并在回國后完成了以FP作為描述語言的多層次的超大規模集成電路自動綜合和設計系統。該系統能將一般的典型算法通過上述代數理論的推導自動導出對應的脈動式陣列算法，并生成邏輯線路圖。孫永強教授還設計并實現了基于函數式語言的超大規模集成電路自動綜合和設計系統，該系統能根據功能描述自動生成脈動式陣列的邏輯線路圖，成果于1993年獲得了國家教委科技進步獎。
主要論文與著作
論文
著作
社會職務
曾擔任國務院學位委員會第二屆學科評議組成員。
研究方向
作為中國第一代計算機軟件科研工作者，孫永強教授長期從事計算機科學研究，涉及編譯原理、函數程序代數理論、軟件自動驗證、重寫技術等多個軟件技術分支。
人才培養
孫永強教授在中國外重要刊物和會議發表論文百余篇，培養計算機軟件與理論方向博士30余名，曾獲國家自然科學獎等多項獎勵。
孫永強教授在一線教學崗位上兢兢業業辛勤耕耘了50余年，是上海交通大學計算機系的第一位博士生導師，其治學上實事求是的嚴謹態度與腳踏實地的務實作風影響了莘莘學子。如今，他培養的學生大多成為各個單位的教學和科研骨干，其中包括2位兩院院士及外籍院士，10余位中國外高校教授。孫永強教授是上海交通大學計算機科學與技術學科的奠基者，在學科發展規劃、高層次人才引進、課程體系建設、學生培養等方面，傾注了大量心血。在以孫永強教授為代表的老一輩工作者的不懈努力下，學院的學科建設與發展穩步前進，培育出一代又一代的杰出學子。
個人榮譽
人物評價
孫永強教授在一線教學崗位上兢兢業業辛勤耕耘了50余年，是上海交通大學計算機系的第一位博士生導師。他治學上實事求是的嚴謹態度，腳踏實地的務實作風給學生樹立了很好的榜樣。孫永強教授是上海交通大學計算機科學與技術學科的奠基者。他在上海交大計算機學科的建設中傾注了大量心血，作為曾經的學科帶頭人，從學科發展規劃、高層次人才引進，到課程體系建設、學生培養等，他事必躬親，身體力行，正是孫永強教授為代表的老一輩計算機工作者的堅持不懈的努力，交大的計算機學科才隨著改革開放，從一個從事艦船專用計算機教學和研究的教研組，迅速成長成為世界知名院系，并邁向世界一流。（上海交通大學 評）
參考資料 >
上海交大孫永強教授獲中國計算機學會“終身成就獎”.上海交通大學新聞學術網.2023-12-30
電院孫永強教授榮獲中國計算機學會“終身成就獎”!.上海交通大學電子信息與電氣工程學院.2024-03-26
“CCF終身成就獎”獲得者孫永強教授主講“我和計算機的故事”學者課堂第一期.上海交通大學新聞學術網.2024-03-26
興趣是研究動力，堅持是成功保障——上海交通大學教授孫永強專訪.微信公眾平臺.2024-03-26
電院計算機系“我和計算機的故事”白英彩座談會&85基金頒獎儀式舉行.上海交通大學新聞學術網.2024-03-26
Web服務深入編程.孔夫子舊書網.2024-03-26
孫永強教授文集.孔夫子舊書網.2024-03-26
Framework程序設計.孔夫子舊書網.2024-03-26