关于我

我目前是 武汉大学数学与人工智能研究院的准聘助理教授（研究员）。 此前，我本科毕业于同济大学软件学院，博士毕业于中国科学院计算技术研究所， 导师是 李炼研究员。

我的研究兴趣主要涉及编程语言和程序分析，从指针分析以及图可达性分析 （如 CFL可达性）等基础算法研究，到漏洞检测等实际应用。主要愿景是开发有趣和实用的程序分析技术，保障系统软件和新兴软件的质量。 我还在探索编程语言与编程智能体之间的双向协同，目标是推动二者相互拓展彼此的能力边界。

团队招收 27级 硕博生中！ 欢迎通过邮件与我交流。:-)