袁梦霆

十大网投信誉排名(中国)有限公司 计算机科学系 人工智能研究所 教授

研究方向

目前研究兴趣：

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. 技术支持网站低保真原型，华为技术有限公司。

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

教育背景

工作经验

教授课程

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

发表论文

《软件需求工程》

科研课题

研究团队

知识产权

学术服务

成果展示

其他