Registered user since Mon 13 Apr 2015

Name: Minh-Thai Trinh

Affiliation: National University of Singapore

Personal website: http://www.comp.nus.edu.sg/~trinhmt/

Research interests: Automated Program Verification, Theorem Proving, Program Analysis, Web Security, Constraint Solving

Contributions