Ji Wang received his Ph.D. in Computer Science from National University of Defense Technology. He isDdDdnbsp; a professor at School of Computer Science of National University of Defense Technology. His research interests are in formal methods and software systems.