研招网 > 湖北研招网 > 武汉大学 > 导师介绍

武汉大学计算机学院导师介绍:袁梦霆

姓名:袁梦霆  性别:男
 职称:副教授  电话:+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. 秦山第三核电有限公司全范围模拟机管理系统。
  
  著作教材
  《软件需求工程》


  
  
 

考研帮最新资讯更多

考研帮地方站

你可能会关心:

查看目标大学的更多信息

分数线、报录比、招生简章
一个都不能错过

× 关闭