武汉大学计算机学院导师介绍:袁梦霆
姓名:袁梦霆 | 性别:男 |
职称:副教授 | 电话:+86 27 6877 5592 |
E-mail:ymt@whu.edu.cn | |
学历学位:本科 | |
硕/博士生导师:硕士生导师 | |
研究方向:程序设计语言理论,形式化方法,嵌入式系统软件工具链 |
1997-2001:原武汉水利电力大学;
2001至今:武汉大学。
目前主要研究方向:
面向嵌入式领域的程序设计理论,包括面向嵌入式领域的编译技术与优化方法,面向嵌入式领域的DSL(Domain Specific Languages)理论与实现,面向嵌入式程序设计语言编制、检验的辅助方法与技术。
主持国家自然科学基金一项,参与多项国家自然科学基金与863项目。主持多项横向项目。
教学情况
编译原理 算法分析与设计 软件工程
科研工作
1. 基于计算博弈论的空间优化研究;
2. 上海海尔HR6P-C交叉编译器;
3. 青岛东软集成开发环境ES-IDE;
4. HI-1640编译器;
5. 基于可信交换的数据集中平台;
6. 秦山第二核电厂生产经验管理系统;
7. 秦山第一核电站核安全数据库管理系统;
8.秦山第二核电厂生产管理系统;
9. 秦山第三核电厂状态报告管理系统;
10. 秦山第三核电有限公司全范围模拟机管理系统。
著作教材
《软件需求工程》
【武汉大学计算机学院导师介绍:袁梦霆】相关文章:
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介:王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:许伟
网友关注
- 【导师介绍】2018年南京师范大学040101教育学原理专业方向全日制考研复试分数线
- 【导师介绍】2018年南京师范大学085202光学工程专业方向全日制考研复试分数线
- 【导师介绍】2018年南京师范大学135105广播电视专业方向非全日制考研复试分数线
- 【导师介绍】2018年南京师范大学050105中国古代文学专业方向全日制考研复试分数线
- 【导师介绍】2018年南京师范大学085213建筑与土木工程专业方向全日制考研复试分数线
- 【导师介绍】2018年南京师范大学055102英语口译专业方向全日制考研复试分数线
- 【导师介绍】2018年南京师范大学120405土地资源管理专业方向全日制考研复试分数线
- 【导师介绍】2018年南京师范大学考研复试分数线(各专业汇总)
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比