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

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