Minh-Thai Trinh

Registered user since Mon 13 Apr 2015

Name:Minh-Thai Trinh
Affiliation:National University of Singapore
Research interests:Automated Program Verification, Theorem Proving, Program Analysis, Web Security, Constraint Solving

Contributions