許智武
副教授/Associate Professor
程序分析與驗證 , 類型系統(tǒng) , 軟件安全 , 自動機與邏輯 , 機器學(xué)習(xí)
.png){kind=logo}
-
1個人簡介
-
2研究興趣
-
3教育背景
-
4工作經(jīng)歷
-
5主要榮譽
-
6常用鏈接
-
7Contact Me
個人簡介
深圳大學(xué)副教授
研究興趣
程序分析與驗證 , 類型系統(tǒng)，軟件安全，自動機與邏輯，機器學(xué)習(xí)
教育背景
2009年11月至2013年7月，巴黎第七大學(xué)，計算機科學(xué)專業(yè)，博士（中歐聯(lián)合培養(yǎng)）
2007年9月至2013年7月，中國科學(xué)院軟件研究所，計算機軟件與理論專業(yè)，博士（碩博連讀）
2003年9月至2007年7月，中山大學(xué)，計算機科學(xué)與技術(shù)專業(yè)，學(xué)士
工作經(jīng)歷
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
CONTACT Me
Scholat.com/zhiwu
深圳市南山區(qū)南海大道3688號南校區(qū)計算機與軟件學(xué)院
我的主頁
獲取微信名片
