Name:Zhenbang Chen

Country:China

Affiliation:School of Computer, National University of Defense Technology, China

Research interests:Program analysis, Formal methods and their applications