69一区二三区好的精华液,中文字幕无码av波多野吉衣,亚洲精品久久久久久无码色欲四季,日本不卡高字幕在线2019

深圳大學副教授

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

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 

https://zhiwuxu.github.io

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