金成植

金成植_3分词条

目录 [隐藏]

金成植 基本信息

       

姓名 : 金成植

金成植金成植

任教专业 : 工学-计算机科学与技术
在职情况 : 在
性别 : 男
所在院系 : 吉林大学计算机科学与技术学院


 

金成植 本人简介

       
金成植男,1935年生,教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作,并一直从事程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。
代表性著作 : 《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》
代表性论文 : 并行面向对象语言的Action演算语义
专业(网站用) : 
  
所教课程 : 
研究方向 : 程序理论、软件形式化和软件新技术
  

金成植 主要作品

       

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

金成植 参考资料

       
金成植教授教学评价:http://www.pinglaoshi.com/teacherId315477

附图

上传图片 

互动百科的词条(含所附图片)系由网友上传,如果涉嫌侵权,请与客服联系,我们将按照法律之相关规定及时进行处理。如需转载,请注明来源于www.hudong.com

其他内容来源:
金成植教授教学评价:
被引用: 金成植已被如下媒体引用 我来补充
开放分类: 我来补充

讨论区

更多>>

编辑者

共2人协作

相关词条

曹汉强
软件体系结构
方正
指称语义学
华中科技大学电气与电子工程学院
重庆大学工业工程
成都职业技术学院
信息哲学
编译原理
计算机系统结构
更多

Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有