Changjing Wang received the PhD degree from Institute of Software, Chinese Academy of Science, China, in 2012. He is currently a professor with the College of Computer Information and Engineering, Jiangxi Normal University, China. His research interests include formal method, highly trusted software and intelligent software.