Name:Zeqin Liao

Country:China

Affiliation:Sun Yat-sen University

Research interests:static analysis，software engineering，bug finding，formal verification