金成植
Kim Sung Sik
以上为机器翻译结果,长、整句建议使用 人工翻译 。
金成植男,1935年生,教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作,并一直从事程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。
详细内容
应用推荐
模块上移
模块下移
不移动