许智武，深圳大学 计算机与软件学院-凯发k8官网下载客户端

深圳大学副教授

程序分析与验证 , 类型系统，软件安全，自动机与逻辑，机器学习

2009年11月至2013年7月，巴黎第七大学，计算机科学专业，博士（中欧联合培养）
2007年9月至2013年7月，中国科学院软件研究所，计算机软件与理论专业，博士（硕博连读）
2003年9月至2007年7月，中山大学，计算机科学与技术专业，学士

2019年12月至今，深圳大学，副教授

2015年6月至2019年12月，深圳大学，助理教授

best paper award for fmac 2018

best student paper award for smartcom 2017

eapls phd award 2013

cacm research highlights nomination by acm sigplan, 2013

the france eiffel excellence scholarship for international students, 2011-2012 

the joint doctoral promotion programme of chinese academy of sciences, 2009–2010