ThanhVu Nguyen - headshot.jpg

ThanhVu Nguyen

George Mason University
2022 Amazon Research Award
Scalable and precise DNN constraint solving with abstraction and conflict clause learning