扫码加入训练营

牢记核心词

学习得礼盒

研究生导师金成植:吉林大学

2016-05-07 10:37:35来源:网络
姓  名 金成植 性  别 出生年月 1935-01
所在院校 吉林大学 所在院系 计算机科学与技术学院
职称 教授 招生专业 计算机软件与理论
研究领域 程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面
联系方式 E-mail 电 话 邮 编 0
地 址
个人简介
  金成植 男,1935年生,教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作,并一直从事程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。  金成植 男,1935年生,教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作,并一直从事程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。
著作及论文
  曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。  曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。

考研择校小程序

本文关键字: 考研导师 研究生导师

考研英语核心词汇营

背词+听课+练习+督学,学习得礼盒

更多资料
更多>>
更多内容

关注新东方在线考研服务号

获得21考研真题及答案解析

1. 打开手机微信【扫一扫】,识别上方二维码;
2.点击【关注公众号】,获取资料大礼包。

免费下:2010-2026年考研真题及答案
更多>>
更多公开课>>
更多>>
更多资料