查字典考研网 >> 院校信息 >> 导师介绍 >> 吉林大学博士研究生导师介绍：金成植

吉林大学博士研究生导师介绍：金成植

考研时间: 2005-09-14　来源：查字典考研网

姓名：	金成植	性别：	男
出生年月：	1935-0-0	工作单位：	吉林大学
所在院系：	计算机科学与技术学院	职称：	教授
行政职务：		招生专业：	081202计算机软件与理论
研究领域：	程序理论、软件形式化和软件新技术的研究，在编译技术、形式语义学、程序分析及Monad理论与技术方面	是否兼职：	否
指导博士生总数：		指导硕士生总数：
目前博士生数：		目前硕士生数：

个人简介

金成植男，1935年生，教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作，并一直从事程序理论、软件形式化和软件新技术的研究，在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。

著作及论文

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

点击显示

当前热点关注