个人简介:
副教授,博士,博士生导师,入选海外高层次青年人才计划(青年),2021年于新加坡国立大学获得博士学位。CCF会员,CCF软件工程专委会和开源发展委员会执行委员。主要研究方向为开源软件供应链、智能化程序分析与软件安全。在CCF-A类软件工程和程序语言国际顶级期刊和会议发表论文30余篇。主持国家自然科学基金青年项目、企业合作项目;参与国家自然科学基金重点项目,科技部重点研发计划课题,工信部高质量发展专项等。研究成果在微软、华为等企业成功应用。获得IEEE、SIGSOFT杰出论文奖4次。在领域顶级期刊TSE、TOSEM、 ESE等担任审稿人,担任领域顶级国际会议(ICSE、ISSTA、MSR等)程序委员会成员。
主要研究方向:
软件工程和程序语言。研究使用软件分析、形式化方法、软件测试等方法帮助开发人员开发和维护软件系统、以及提升软件系统的安全性和可靠性。
科研成果:
在计算机软件工程和程序语言顶级会议和期刊(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