扫码加入训练营

牢记核心词

学习得礼盒

研究生导师刘磊:吉林大学

2016-05-07 10:14:05来源:网络
姓  名 刘磊 性  别 出生年月 1960-01
所在院校 吉林大学 所在院系 计算机科学与技术学院
职称 教授 招生专业 计算机应用技术
研究领域 程序理论、程序设计语言及实现技术、软件自动化等
联系方式 E-mail 电 话 邮 编 0
地 址
个人简介
  刘 磊 男,1960年生,教授、博士生导师。
  从事程序理论、程序设计语言及实现技术、软件自动化等方向的研究。特别是在形式化方法、过程式语言的部分求值技术、程序抽象化等方面取得了一批国内领先的研究成果.


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


获得奖项
  曾荣获宝钢优秀教师奖,承担过多项教改项目、精品课程建设项目,获得三项省级奖励。  曾荣获宝钢优秀教师奖,承担过多项教改项目、精品课程建设项目,获得三项省级奖励。
著作及论文
  发表学术论文50余篇,其中被三大检索收录14篇、学术著作三部。  发表学术论文50余篇,其中被三大检索收录14篇、学术著作三部。
承担项目
  承担和参加了国家自然科学基金项目4项、省部级项目2项、协作项目3项。  承担和参加了国家自然科学基金项目4项、省部级项目2项、协作项目3项。

考研择校小程序

本文关键字: 考研导师 研究生导师

考研英语核心词汇营

背词+听课+练习+督学,学习得礼盒

更多资料
更多>>
更多内容

关注新东方在线考研服务号

获得21考研真题及答案解析

1. 打开手机微信【扫一扫】,识别上方二维码;
2.点击【关注公众号】,获取资料大礼包。

免费下:2010-2026年考研真题及答案
更多>>
更多公开课>>
更多>>
更多资料