研究生导师金成植:吉林大学
| 姓 名 | 金成植 | 性 别 | 男 | 出生年月 | 1935-01 |
| 所在院校 | 吉林大学 | 所在院系 | 计算机科学与技术学院 |
| 职称 | 教授 | 招生专业 | 计算机软件与理论 |
| 研究领域 | 程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面 |
| 联系方式 | E-mail | 电 话 | 邮 编 | 0 |
| 地 址 |
| 金成植 男,1935年生,教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作,并一直从事程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。 金成植 男,1935年生,教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作,并一直从事程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。 |
| 曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。 曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。 |
版权及免责声明
1.凡本网注明"稿件来源:新东方在线"的所有文字、图片和音视频稿件,版权均属北京新东方迅程网络科技有限公司所有,任何媒体、网站或个人未经本网协议授权不得转载、链接、转贴或以其他方式复制发表。已经本网协议授权的媒体、网站,在下载使用时必须注明"稿件来源:新东方在线",违者本网将依法追究责任。
2.本网末注明"稿件来源:新东方在线"的文/图等稿件均为转载稿,本网转载出于传递更多信息之目的,并不意味着赞同其观点或证实其内容的真实性。如其他媒体、网站或个人从本网下载使用,必须保留本网注明的"稿件来源",并自负版权等法律责任。如擅自篡改为"稿件来源:新东方在线”,本网将依法追究责任。
3.如本网转载稿涉及版权等问题,请作者致信weisen@xdfzx.com,我们将及时外理
Copyright © 2011-202
All Rights Reserved