许智武 - 深圳大学 - 计算机与软件学院

个人简介

许智武，博士，2013年毕业于巴黎第七大学和中国科学院大学（联合培养），2015年加入计算机与软件学院，助理教授，硕士生导师，深圳市海外高层次人才（孔雀计划C类），主要从事程序分析与验证、程序语言理论、形式化方法、机器学习等方面的研究工作，2014年获得EAPLS（欧洲程序语言与系统协会）最佳博士论文奖（整个欧洲每年仅一篇），主持国家自然科学基金青年基金1项，参与国家自然科学基金多项，已在程序语言方面的国际顶级会议（POPL，ICFP）发表多篇论文

研究领域

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

主要从事程序分析与验证、程序语言理论、形式化方法、机器学习等方面的研究工作