吉林大学计算机科学与技术学院硕士生导师——刘磊

刘磊男，1960年生，教授、博士生导师。
　　从事程序理论、程序设计语言及实现技术、软件自动化等方向的研究。特别是在形式化方法、过程式语言的部分求值技术、程序抽象化等方面取得了一批国内领先的研究成果.


获得奖项

　　曾荣获宝钢优秀教师奖，承担过多项教改项目、精品课程建设项目，获得三项省级奖励。
著作及论文

　　发表学术论文50余篇，其中被三大检索收录14篇、学术著作三部。