Jialiang Chang

Registered user since Mon 3 Oct 2016

Name:Jialiang Chang
Country:United States
Affiliation:CertiK
Research interests:Blockchain, Static Analysis, Formal Verificaiton

Contributions