软件工程和程序语言。研究使用软件分析、形式化方法、软件测试等方法帮助开发人员开发和维护软件系统、以及提升软件系统的安全性和可靠性。
科研成果：
在计算机软件工程和程序语言顶级会议和期刊（CCF-A：ICSE，ASE，ISSTA，OOPSLA，TOSEM，TSE等）发表论文10余篇。获得新加坡国立大学科研成就奖，校长奖学金。ISSTA 2021最佳原型系统奖。开发的工具正在部署到微软Visual Studio中。
具体详见Google Scholar：https://scholar.google.com/citations?user=nML3tzkAAAAJ&hl=en
联系方式：
邮箱：xiang_gao@buaa.edu.cn
个人主页：https://gaoxiang9430.github.io
