ThanhVu (Vu) Nguyen

icon indicating a website link roars.dev

icon company George Mason University icon location Associate Prof. in CS at George Mason University. Research in Formal Methods, Software Verification, Neural Network Verification.

Results 1 repositories owned by ThanhVu (Vu) Nguyen

phd-cs-us

24
Stars
2
Forks
Watchers

This document helps demystify the PhD admission process in Computer Science in US universities. It is written mainly for international students, but also has a section for domestic (US) students. .

verified publisher icon nguyenthanhvuh