introduction
associate professor@shenzhen university
research interests
program analysis and verification, type systems, software security, automata theory and logic, and machine learning
education
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
work experience
2019.12 - now, shenzhen university, associate professor
2015.06 - 2019.12, shenzhen university, assistant professor
honor
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
favorite links
https://zhiwuxu.github.io
http://scholar.google.fr/citations?user=zy4fa8oaaaaj&hl=en
https://www.scholat.com/zhiwu
csse, nanhai ave 3688, nanshan district, shenzhen
visit my homepage