吉林大学计算机科学与技术学院硕士生导师——金成植

金成植男，1935年生，教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作，并一直从事程序理论、软件形式化和软件新技术的研究，在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。