从1,500,000教师库中查找(输入学校名称或教师姓名)
刘磊
5.0我来评喜爱度
刘磊老师介绍
刘 磊 男,1960年生,教授、博士生导师。
从事程序理论、程序设计语言及实现技术、软件自动化等方向的研究。特别是在形式化方法、过程式语言的部分求值技术、程序抽象化等方面取得了一批国内领先的研究成果.
承担和参加了国家自然科学基金项目4项、省部级项目2项、协作项目3项、发表学术论文50余篇,其中被三大检索收录14篇、学术著作三部。曾荣获宝钢优秀教师奖,承担过多项教改项目、精品课程建设项目,获得三项省级奖励
从事程序理论、程序设计语言及实现技术、软件自动化等方向的研究。特别是在形式化方法、过程式语言的部分求值技术、程序抽象化等方面取得了一批国内领先的研究成果.
承担和参加了国家自然科学基金项目4项、省部级项目2项、协作项目3项、发表学术论文50余篇,其中被三大检索收录14篇、学术著作三部。曾荣获宝钢优秀教师奖,承担过多项教改项目、精品课程建设项目,获得三项省级奖励
刘磊老师相关教学资源
- 吉林大学教学资源
- 刘磊老师课程教学资源