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
ICSE 2025-profile
View general profile
View general profile