许智武,深圳大学 计算机与软件学院-尊龙凯时官方app下载

许智武 zhiwu xu

副教授/associate professor

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

简介  about

动态   news

学术   academic

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
个人简介

深圳大学副教授

研究兴趣

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

教育背景

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 

常用链接
contact by scholat
想与我进行学术交流?
立即通过学者网的 和 工具与我联系!
https://www.scholat.com/zhiwu
email:  
联系地址 :   深圳市南山区南海大道3688号南校区计算机与软件学院
扫一扫,访问我的尊龙凯时官方app下载主页
  
  •  个人简介

  •  研究兴趣

  •  教育背景

  •  工作经历

  •  主要荣誉

  •  常用链接

  • contact by scholat

scholat.com 学者网
about us | 尊龙凯时官方app下载
网站地图