-
1
-
2
-
3
-
4
-
5
-
6
-
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号南校区计算机与软件学院
扫一扫，访问我的k8凯发旗舰主页
-
个人简介
-
研究兴趣
-
教育背景
-
工作经历
-
主要荣誉
-
常用链接
-
contact by scholat
