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

 袁梦霆
  • 姓名:   袁梦霆
  • 主页:  
  • 性别:  
  • 职称:  教授 ()
  • 学历学位:  博士
  • 电话:  68775592
  • 办公地点:  A503
  • E-mail:  ymt ▇ whu.edu.cn 请手工替换符号
  • 领域:  人工智能,软件工程
  • 招生信息:  年度招收硕士0名,招收方向:。 招收博士0名,招收方向:。


目前研究兴趣:

1. 基于统计与机器学习的程序分析与代码理解;
2. 芯片前端设计优化;
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. 技术支持网站低保真原型,华为技术有限公司。


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

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

《软件需求工程》

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