袁梦霆 (武汉大学计算机学院 软件工程系 人工智能研究所 )
姓名： 袁梦霆
主页：
性别：男
职称：教授 ()
学历学位：博士
电话：**
办公地点：A503
E-mail：ymt ▇ whu.edu.cn 请手工替换符号
领域：人工智能,软件工程
招生信息：年度招收硕士0名，招收方向：。 招收博士0名，招收方向：。



目前研究兴趣：
1. 基于统计与机器学习的程序分析与代码理解；
2. 自然语言（NL）/程序设计语言（PL）之间语义关系，即研究从自然语言到程序设计语言之间的深层含义联系与转换；
3. 面向嵌入式系统/物联网的编译、优化与安全；
4.人工智能程序编译与优化。

部分课题列表：
1. 基于统计的类型推理研究方法研究，国家自然科学基金，2019年；
2. 面向行为的微控制器软件综合方法研究，国家自然科学基金，2017年；
3. 基于计算博弈论的空间优化研究，国家自然科学基金，2011年；
4. 基于LLVM的RISCV代码体积优化研究，中科院软件所，2021年；
5. 可信编译技术合作，华为技术有限公司，2020年；
6. 基于多范式编程模型和张量优化的智能计算框架平台关键技术研发, 湖北省科技厅，2020年；
7. 视觉DSL编译与优化，华为技术有限公司，2019年；
8. 软件缺陷预测，华为技术有限公司，2018年；
9. 智能软件缺陷定位，华为技术有限公司，2017年；
10. HR6P交叉C编译器HICC，上海海尔集成电路有限公司；
11. 集成开发环境ES-IDE，青岛东软载波科技股份有限公司；
12. HI1640编译器，上海海尔集成电路有限公司；
13. 集成开发环境iDesigner，上海海尔集成电路有限公司；
14. 技术支持网站低保真原型，华为技术有限公司。

欢迎对软件理论、程序设计语言、自然语言与编译技术感兴趣的同学加入我们课题组。
编译原理
计算机科学中的逻辑学
程序设计语言理论
《软件需求工程》