Name:Zhenbang Chen

Country:China

Affiliation:College of Computer, National University of Defense Technology, Changsha, PR China

Research interests:Program analysis, Formal methods and their applications