吉林大学考研网 - 计算机名师推荐从1961年开始从事计算机软件的教学和科研工作,并一直从事程序理论、软件形式化和软件新技术的研究,在编译技术、形式...是吉林大学计算机软件与理论专业的学科带头人之一。研究方向为软件工程,研究涉及面向对象方法、软件自动化方法、... www.jlukaoyan.com/content/view/74/39/
