国产v亚洲v天堂无码久久无码_久久久久综合精品福利啪啪_美女扒开尿口让男人桶_国产福利第一视频在线播放_滨崎步无码AⅤ一区二区三区_三年片免费观看了_大屁股妇女流出白浆_泷川苏菲亚无码AV_我想看我想看一级男同乱伦_国产精品午夜福利免费视频,gogo国模全球大胆高清摄影图,2008门艳照全集视频,欧美午夜在线精品品亚洲AV中文无码乱人伦在线播放

深圳大學副教授

程序分析與驗證 , 類型系統(tǒng),，軟件安全，自動機與邏輯,，機器學習

2009年11月至2013年7月,，巴黎第七大學,，計算機科學專業(yè)，博士（中歐聯(lián)合培養(yǎng)）
2007年9月至2013年7月,，中國科學院軟件研究所,，計算機軟件與理論專業(yè)，博士（碩博連讀）
2003年9月至2007年7月,，中山大學,，計算機科學與技術(shù)專業(yè)，學士

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 

https://zhiwuxu.github.io

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