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