Associate Professor@Shenzhen University

Program Analysis and Verification, Type Systems, Software Security, Automata Theory and Logic, and Machine Learning

2009.11 - 2013.07, PhD (Joint Cultivation), Computer Science, University Paris Diderot - Paris 7

2007.09 - 2013.07, PhD, Computer Software and Theory, University of Chinese Academy of Sciences

2003.09 - 2007.07, Bachelor, Computer science and technology, Sun Yat-sen University 

2019.12 - now, Shenzhen University, Associate Professor 

2015.06 - 2019.12, Shenzhen University, Assistant Professor 

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