职业:教师;性别:男;中文名:金成植;任教专业:工学-计算机科学与技术;
金成植男，1935年生，教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作，并一直从事程序理论、软件形式化和软件新技术的研究，在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项，在国内外学术刊物和学术会议上发表论文30余篇。
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
