金成植 男，1935年生，教授、博士生导师。 基本介绍姓名 ： 金成植 任教专业 ： 工学-计算机科学与技术 在职情况 ： 在 性别 ： 男 所在院系 ： 吉林大学计算机科学与技术学院 本人简介从1961年开始从事计算机软件的教学和科研工作，并一直从事程序理论、软件形式化和软件新技术的研究，在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。 代表性著作 ： 《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》 代表性论文 ： 并行面向对象语言的Action演算语义
研究方向程序理论、软件形式化和软件新技术 主要作品曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。 |
