基本介紹
姓名 ： 金成植
任教專業(yè) ： 工學-計算機科學與技術
在職情況 ： 在
性別 ： 男
所在院系 ： 吉林大學計算機科學與技術學院
本人簡介
從1961年開始從事計算機軟件的教學和科研工作，并一直從事程序理論、軟件形式化和軟件新技術的研究，在編譯技術、形式語義學、程序分析及Monad理論與技術方面有較高的造詣。曾出版過《程序設計語言》、《編譯器構造原理和實現(xiàn)技術》和《程序理論和技術》等8部著作。承擔并負責國家自然科學基金項目和教委博士點基金項目4項,在國內外學術刊物和學術會議上發(fā)表論文30余篇。
代表性著作 ： 《程序設計語言》、《編譯器構造原理和實現(xiàn)技術》和《程序理論和技術》
代表性論文 ： 并行面向對象語言的Action演算語義
研究方向
程序理論、軟件形式化和軟件新技術
