Dr. Zhiwu Xu obtained his Bachelor Degree in Computer science and technology from Sun Yat-sen University in 2007, and his Ph.D. degrees in Computer science from IRIF(PPS), University Paris Diderot - Paris 7 and SKLCS, Institute of Software, Chinese Academy of Sciences, under the joint cultivation, in 2013. In 2015, he joined Shenzhen University as an Assistant Professor. He is currently an associate professor of College of Computer Science and Software Engineering.
His research interests include Program Analysis and Verification, Type Systems, Software Security, Automata Theory and Logic, Machine Learning, etc. He has received several awards including CACM Research Highlights nomination by ACM SIGPLAN (2013), EAPLS PhD Award (2014), Best Student Paper Award for SmartCom (2017), Best Paper Award for FMAC (2018).
For more information, see webpage.