研究生导师刘磊：吉林大学
| 姓 名 | 刘磊 | 性 别 | 男 | 出生年月 | 1960-01 |
| 所在院校 | 吉林大学 | 所在院系 | 计算机科学与技术学院 |
| 职称 | 教授 | 招生专业 | 计算机应用技术 |
| 研究领域 | 程序理论、程序设计语言及实现技术、软件自动化等 |
| 联系方式 | E-mail | 电 话 | 邮 编 | 0 |
| 地 址 |
刘 磊 男，1960年生，教授、博士生导师。
从事程序理论、程序设计语言及实现技术、软件自动化等方向的研究。特别是在形式化方法、过程式语言的部分求值技术、程序抽象化等方面取得了一批国内领先的研究成果.
刘 磊 男，1960年生，教授、博士生导师。
从事程序理论、程序设计语言及实现技术、软件自动化等方向的研究。特别是在形式化方法、过程式语言的部分求值技术、程序抽象化等方面取得了一批国内领先的研究成果.
|
| 曾荣获宝钢优秀教师奖，承担过多项教改项目、精品课程建设项目，获得三项省级奖励。 曾荣获宝钢优秀教师奖，承担过多项教改项目、精品课程建设项目，获得三项省级奖励。 |
| 发表学术论文50余篇，其中被三大检索收录14篇、学术著作三部。 发表学术论文50余篇，其中被三大检索收录14篇、学术著作三部。 |
| 承担和参加了国家自然科学基金项目4项、省部级项目2项、协作项目3项。 承担和参加了国家自然科学基金项目4项、省部级项目2项、协作项目3项。 |
版权及免责声明
1.凡本网注明"稿件来源：新东方在线"的所有文字、图片和音视频稿件，版权均属北京新东方迅程网络科技有限公司所有，任何媒体、网站或个人未经本网协议授权不得转载、链接、转贴或以其他方式复制发表。已经本网协议授权的媒体、网站，在下载使用时必须注明"稿件来源：新东方在线"，违者本网将依法追究责任。
2.本网末注明"稿件来源：新东方在线"的文/图等稿件均为转载稿，本网转载出于传递更多信息之目的，并不意味着赞同其观点或证实其内容的真实性。如其他媒体、网站或个人从本网下载使用，必须保留本网注明的"稿件来源"，并自负版权等法律责任。如擅自篡改为"稿件来源：新东方在线”，本网将依法追究责任。
3.如本网转载稿涉及版权等问题，请作者致信weisen@xdfzx.com，我们将及时外理
Copyright © 2011-202
All Rights Reserved