Registered user since Sun 16 Jul 2017

Name: Yang Liu

Country: Singapore

Affiliation: Nanyang Technological University, Singapore

Personal website: http://www.ntu.edu.sg/home/yangliu/

Research interests: Formal Methods, Software Engineering, Security

Contributions