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

    邮箱：dongjiehe AT cqu.edu.cn

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

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

简介

何冬杰，教授，博士生导师。研究领域涉及程序分析与验证技术、编译技术以及软件安全分析技术等。在OOPSLA、ECOOP、FSE、ASE、ISSTA、CGO、TSE、TOSEM等顶会和期刊上发表CCF推荐A/B类论文20余篇。获得顶会杰出论文奖和杰出原型系统奖3次。担任OOPSLA、ECOOP、ASE、ISSTA、LCTES、TSE等多个会议和期刊审稿人。

招生

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

团队

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