许智武_深圳大学研究员

您当前浏览器版本过低，为了不影响您的使用，建议您使用最新的谷歌浏览器、火狐浏览器、 360浏览器，更换浏览器后使用更流畅！（注意！双核浏览器请切换为极速模式）

400-607-9388

许智武
所属院校: 深圳大学
所属院系: 计算机与软件学院
职称: 研究员
导师类型: 硕导
招生专业:
研究领域: 主要从事程序分析与验证、程序语言理论、形式化方法、机器学习等方面的研究工作

个人简介

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