金成植

       金成植 男，1935年生，教授、博士生导师。

基本介绍

        姓名 ： 金成植

　　任教专业 ： 工学-计算机科学与技术

　　在职情况 ： 在

　　性别 ： 男

　　所在院系 ： 吉林大学计算机科学与技术学院

本人简介

　　从1961年开始从事计算机软件的教学和科研工作，并一直从事程序理论、软件形式化和软件新技术的研究，在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。

　　代表性著作 ： 《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》 

　　代表性论文 ： 并行面向对象语言的Action演算语义　

　

研究方向

      程序理论、软件形式化和软件新技术

主要作品

　　曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。