研究方向：程序分析与验证、编译技术等

    邮箱：dongjiehe AT cqu.edu.cn

    办公地点：重庆大学虎溪校区信息技术科研楼B706

    英文主页：https://dongjiehe.github.io/

简介

何冬杰，教授，博士生导师，弘深优秀学者，弘深青年学者（至2024.12），入选国家海外高层次青年人才和重庆市优秀青年人才计划 。研究领域涉及程序分析与验证技术、编译技术以及软件安全分析技术等。在OOPSLA、ECOOP、FSE、ASE、ISSTA、CGO、TSE、TOSEM等顶会和期刊上发表CCF推荐A/B类论文20篇。获得顶会杰出论文奖和杰出原型系统奖3次。担任OOPSLA、ECOOP、ASE、ISSTA、LCTES、TSE等多个会议和期刊审稿人。

招生

长期招收博士生、硕士生和本科生，有意者请邮件联系。

本人还有1个科研博士指标，欢迎对AI编译器、FHE编译优化和静态程序分析等方向感兴趣的同学联系。

团队

https://plc-cqu.github.io/