袁夢霆
437bwin必贏國際官網 計算機科學系 人工智能研究所 教授
研究方向
目前研究興趣：
1. 類型系統、類型推理；
2. 編譯、優化與安全；
3. 芯片前端優化、高層綜合；；
4. 面向新型體系結構的編譯與優化。
部分課題列表：
1. 基于統計的類型推理研究方法研究，國家自然科學基金，2019年；
2. 面向行為的微控制器軟件綜合方法研究，國家自然科學基金，2017年；
3. 基于計算博弈論的空間優化研究，國家自然科學基金，2011年；
4. ****完整性評估和風險預估理論，國家重點研發計劃課題負責，2022年；
5. ****密碼處理芯片技術研究，國家重點研發計劃編譯器任務，2022年；
6. ****前端高層綜合與編譯研究，華為海思，2023年；
7. ****芯片的編譯優化研究，華為海思，2022年；
8. ****芯片編譯工具鏈研究合作，華為技術有限公司，2022年；
9. 自動化模型算子級別的多硬件平臺編譯優化工具構建研究，OPPO廣東移動通信有限公司，2022年；
10.面向深度神經網絡的內存分配與優化方法研究，計算機體系結構國家重點實驗室，2021年；
11.面向****加速的編譯優化研究，華為技術有限公司，2021年；
12.面向深度神經網絡的圖變換DSL研究，百度科技有限公司，2021年；
13.基于LLVM的RISCV代碼體積優化研究，中科院軟件所，2021年；
14.可信編譯技術合作，華為技術有限公司，2020年；
15.基于多范式編程模型和張量優化的智能計算框架平臺關鍵技術研發, 湖北省科技廳，2020年；
16.****DSL編譯與優化，華為技術有限公司，2019年；
17.軟件缺陷預測，華為技術有限公司，2018年；
18.智能軟件缺陷定位，華為技術有限公司，2017年；
19.HR6P交叉C編譯器HICC，上海海爾集成電路有限公司；
20.集成開發環境ES-IDE，青島東軟載波科技股份有限公司；
21.HI1640編譯器，上海海爾集成電路有限公司；
22.集成開發環境iDesigner，上海海爾集成電路有限公司；
23.技術支持網站低保真原型，華為技術有限公司。
部分發表論文：
https://dblp.org/pid/06/10596.html
歡迎對程序設計語言理論與編譯技術感興趣的同學加入我們課題組。
教育背景
工作經驗
教授課程
編譯原理
計算機科學中的邏輯學
程序設計語言理論
發表論文
科研課題
研究團隊
知識產權
學術服務
成果展示
其他
