Name:Zhe Chen

Country:China

Affiliation:Nanjing University of Aeronautics and Astronautics

Research interests:Formal Methods, Software Verification, Model Checking, Runtime Verification