袁梦霆 (武汉大学计算机学院 软件工程系 人工智能研究所 )

 袁梦霆
  • 姓名:   袁梦霆
  • 主页:  
  • 性别:  
  • 职称:  副教授 (硕导,)
  • 学历学位:  博士
  • 电话:  68775592
  • 办公地点:  
  • E-mail:  ymt@whu.edu.cn
  • 领域:  人工智能,软件工程,物联网,自然语言处理
  • 招生信息:  年度招收硕士0名,招收方向:。 招收博士0名,招收方向:。

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

目前研究兴趣:

1. 基于统计与机器学习的程序分析与代码理解;
2. 自然语言(NL)/程序设计语言(PL)之间语义关系,即研究从自然语言到程序设计语言之间的深层含义联系与转换;
3. 面向嵌入式系统/物联网的编译、优化与安全;

4. 软件综合,即如何从抽象的软件模型生成高效的可执行程序;

5. 逆向工程与安全分析。


主持部分课题列表:

1. 基于统计的类型推理研究方法研究,国家自然科学基金,2019年;

2. 面向行为的微控制器软件综合方法研究,国家自然科学基金,2017年;

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


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

编译原理
计算机科学中的逻辑学
程序设计语言理论

《软件需求工程》

版权所有 ©武汉大学计算机学院 | copyright © 2008-2018 School of Computer Science, Wuhan University. All Rights Reserved.