91一级特黄大片|婷婷中文字幕在线|av成人无码国产|日韩无码一二三区|久久不射强奸视频|九九九久久久精品|国产免费浮力限制

深圳大學副教授

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

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