孫永強(上海交通大學教授)

孫永強，教授。浙江省嘉善市人。

基本介紹

• 中文名：孫永強
• 職業：教師
• 畢業院校：交通大學電力系
• 代表作品：《程式設計自動化基礎》

人物經歷

1955年畢業於交通大學電力系，現為上海交通大學教授。歷任清華大學講師，上海交通大學副教授、教授，國務院學位委員會第二屆學科評議組成員。

研究方向

專於計算機軟體，與人合作研究函式程式設計語言定義的方程、線性和非線性方程組的代數理論、求解方法及其套用。

主要貢獻

編著《程式設計自動化基礎》，合編《編譯原理》。 主要論文有《函式方程(組)的展開定理和S限制泛函型》等近百篇。

獲獎記錄

《程式語言及其驗證》1985年獲國家教委科技進步獎二等獎。