博士，副教授，博士生导师，深圳市海外高层次人才（孔雀计划C类），主要从事程序分析与验证、类型系统、软件测试、自动机与逻辑、机器学习等方面的研究工作，2014年获得EAPLS（欧洲程序语言与系统协会）最佳博士论文奖（整个欧洲每年仅一篇），主持国家自然科学基金面上项目2项、青年基金1项，广东省自然科学基金面上项目1项，已在国际顶级会议POPL、ICFP、CAV、FM、ICSE、ASE、FSE、USENIX、S&P、ICDE、AAAI等发表多篇论文。