副教授，博士，博士生导师。获得ACM SigSoft杰出论文奖（ICSE2024，FSE2024），IEEE TCSE杰出论文奖（SANER2024。主持和参与国家自然科学基金青年项目、重点项目，工信部高质量发展专项等。在领域顶级期刊TSE、TOSEM、 ESE等担任审稿人, JSS Open Science Board。担任领域顶级国际会议（ICSE、ISSTA、MSR等）程序委员会成员。

主要研究方向：

软件工程和程序语言。研究使用软件分析、形式化方法、软件测试等方法帮助开发人员开发和维护软件系统、以及提升软件系统的安全性和可靠性。

科研成果：

在计算机软件工程和程序语言顶级会议和期刊（CCF-A：ICSE，ASE，ISSTA，OOPSLA，TOSEM，TSE等）发表论文20余篇。获得新加坡国立大学科研成就奖，校长奖学金。开发的工具正在部署到微软Visual Studio中。

具体详见Google Scholar：https://scholar.google.com/citations?user=nML3tzkAAAAJ&hl=en