Name:Zhenbang Chen

Country:China

Affiliation:College of Computer, National University of Defense Technology

Research interests:Program analysis, Formal methods and their applications