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

深圳大學(xué)副教授

程序分析與驗(yàn)證 , 類型系統(tǒng)，軟件安全，自動(dòng)機(jī)與邏輯，機(jī)器學(xué)習(xí)

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

2019年12月至今，深圳大學(xué)，副教授

2015年6月至2019年12月，深圳大學(xué)，助理教授

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