
Registered user since Wed 19 Jul 2017
Name:ThanhVu Nguyen
Country:United States
Affiliation:George Mason University
Personal website: https://roars.dev
Research interests:Software Engineering, Formal Methods, Software Verification, Neural Network Verification
Contributions
Using general profile