2013 ~ 2014，Senior Visiting Fellow, The University of New South Wales
2001至今，武汉大学
1997 ~ 2000，原武汉水利电力大学
目前研究兴趣：
1. 软件综合，即如何从抽象的软件模型生成高效的可执行程序；
2. 自然语言（NL）/程序设计语言（PL）之间语义关系，即研究从自然语言到程序设计语言之间的深层含义联系与转换；
3. 面向嵌入式系统/物联网的编译、优化与安全；
4. 程序分析与代码理解；
5. 逆向工程与安全分析。
承担部分课题列表：
1. 面向行为的微控制器软件综合方法研究，国家自然科学基金；
2. 基于计算博弈论的空间优化研究，国家自然科学基金；
3. 智能软件缺陷定位，华为技术有限公司；
4. 软件缺陷预测，华为技术有限公司；
5. HR6P交叉C编译器HICC，上海海尔集成电路有限公司；
6. 集成开发环境ES-IDE，青岛东软载波科技股份有限公司；
7. HI1640编译器，上海海尔集成电路有限公司；
8. 集成开发环境iDesigner，上海海尔集成电路有限公司；
9. 技术支持网站低保真原型，华为技术有限公司。
欢迎对软件理论、程序设计语言、自然语言与编译技术感兴趣的同学加入我们课题组。
