Jia Xiangyang
Guest

Dr. Xiangyang is an assistant professor at State Key Lab of Software Engineering, Wuhan University of China. He has been staying in Politecnico di Milano as a visiting researcher, since April 2014 to April 2015. Dr. Xiangyang used to work on the area of software architecture and service computing, and now his main research interests are software analysis and verification. During his staying at Politecnico, he has been working on the area of incremental symbolic execution.

Contact Information

jxy(at)whu.edu.cn