人员

许智武

许智武

  • 研究员 博士
  • 网络与软件工程系
  • 网络与软件工程系
  • xuzhiwu@szu.edu.cn
  • 计软大楼B1030

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

last updated:2018/03/21

深圳大学计算机与软件学院 2009-2016