个人简介

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