Name:Peisen Yao

Country:China

Affiliation:Hong Kong University of Science and Technology

Research interests:Program Analysis and Verification, Automated Reasoning, Security