Name:Jie Su

Country:China

Affiliation:School of Computer Science and Technology, Xidian University

Research interests:Formal Methods, Model Checking