许智武 Zhiwu XU

研究员

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

简介  ABOUT

动态   NEWS

学术   ACADEMIC

个人简介

深圳大学助理教授

教育背景

2009年11月至2013年6月,巴黎第七大学,计算机科学专业,中欧联合培养博士

2009年9月至2013年7月,中国科学院软件研究所,计算机软件与理论专业,中欧联合培养博士

2007年9月至2009年7月,中国科学院软件研究所,计算机软件与理论专业,硕博连读

2003年9月至2007年7月,中山大学,计算机科学与技术专业,本科

工作经历

2015年4月至今,深圳大学,助理教授

主要荣誉

2014.04 EAPLS最佳博士论文奖

2011.09 法国艾菲尔奖学金

2009.09 中国科学院中欧联合培养博士生项目奖学金

2009.05 中国科学院研究生奖学金

2006.12 中国惠普优秀学生奖学金

2006.12 镇泰奖学基金一等奖

2006.05 广东省ACM程序设计比赛一等奖

2006.02 美国大学生数学建模一等奖

研究兴趣

XML处理 , XML类型检测 , 程序设计语言与类型系统 , 程序分析与验证 , 自动机与逻辑

Biography

Introduction

Lecturer@Shenzhen University

Education

Work Experience

Honor

Favorite Links

http://lcs.ios.ac.cn/~zhiwu/

http://scholar.google.fr/citations?user=zy4fa8oaaaaj&hl=en

CONTACT BY SCHOLAT
想与我进行学术交流?
立即通过学者网的 工具与我联系!
Https://www.scholat.com/zhiwu
Email:  
联系地址 :   深圳市南山区南海大道3688号南校区计算机与软件学院
扫一扫,访问我的主页
  •  个人简介

  •  教育背景

  •  工作经历

  •  主要荣誉

  •  常用链接

  •  研究兴趣

  •  Biography

  • Contact by SCHOLAT

SCHOLAT.com 学者网
ABOUT US | SCHOLAT