人员

许智武

许智武

  • 副教授 工学博士
  • 网络与软件工程系
  • 网络与软件工程系
  • xuzhiwu@szu.edu.cn
  • 计软大楼B724

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

last updated:2020/09/24

深圳大学计算机与软件学院 2020