当前位置:首页 > 研究生招生 > 导师信息 > 正文内容

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

2020-07-10 10:09:00导师信息1
姓  名:
金成植 性别:
出生年月:
1935-0-0 工作单位:
吉林大学 所在院系:
计算机科学与技术学院 职称:
教授 行政职务:
  招生专业:
081202计算机软件与理论 研究领域: 程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面 是否兼职: 否 指导博士生总数:   指导硕士生总数:   目前博士生数:   目前硕士生数:       个人简介   金成植男,1935年生,教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作,并一直从事程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。       著作及论文   曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。

本网站文章仅供交流学习 ,不作为商用, 版权归属原作者,部分文章推送时未能及时与原作者取得联系,若来源标注错误或侵犯到您的权益烦请告知,我们将立即删除.

本文链接://www.kaoyantv.com/zhaoshengxinxi/daoshi/5761.html