照片路径有误
  • 姓名:袁梦霆
  • 主页:
  • 性别:男
  • 职称:副教授
  • 学历学位:博士
  • 电话:+86 27 6877 5592
  • 办公地点:
  • E-mail:ymt@whu.edu.cn
  • 硕/博士生导师:硕士生导师
  • 研究兴趣
  • 教育背景
  • 工作经验
  • 教授课程
  • 发表论文
  • 研究课题
  • 研究团队
  • 获奖信息
  • 学术服务

2013 ~ 2014,Senior Visiting Fellow, The University of New South Wales
2001至今,武汉大学
1997 ~  2000,原武汉水利电力大学

目前研究兴趣:

1. 软件综合,即如何从抽象的软件模型生成高效的可执行程序;
2. 自然语言(NL)/程序设计语言(PL)之间语义关系,即研究从自然语言到程序设计语言之间的深层含义联系与转换;
3. 面向嵌入式系统/物联网的编译、优化与安全;
4. 程序分析与代码理解。


承担部分课题列表:

1. 面向行为的微控制器软件综合方法研究,国家自然科学基金;
2. 基于计算博弈论的空间优化研究,国家自然科学基金;
3. 智能软件缺陷定位,华为技术有限公司;
4. 软件缺陷预测,华为技术有限公司;
5. HR6P交叉C编译器HICC,上海海尔集成电路有限公司;
6. 集成开发环境ES-IDE,青岛东软载波科技股份有限公司;
7. HI1640编译器,上海海尔集成电路有限公司;
8. 集成开发环境iDesigner,上海海尔集成电路有限公司;
9. 技术支持网站低保真原型,华为技术有限公司。


欢迎对软件理论、程序设计语言与编译技术感兴趣的同学加入我们课题组。

编译原理
计算机科学中的逻辑学
《软件需求工程》