吉林大学博士研究生导师介绍:金成植_-查字典考研网
 
请输入您要查询的关键词
  查字典考研网 >> 院校信息 >> 导师介绍 >> 吉林大学博士研究生导师介绍:金成植

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

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

姓 名:

金成植

性别:

出生年月:

1935-0-0

工作单位:

吉林大学

所在院系:

计算机科学与技术学院

职称:

教授

行政职务:

招生专业:

081202计算机软件与理论

研究领域:

程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面

是否兼职:

指导博士生总数:

指导硕士生总数:

目前博士生数:

目前硕士生数:

个人简介
金成植 男,1935年生,教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作,并一直从事程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。
著作及论文
曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。
点击显示
推荐文章
猜你喜欢
附近的人在看
推荐阅读
拓展阅读

当前热点关注

  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  •