Award Recipient ThanhVu Nguyen George Mason University Social website 2022 Amazon Research Award Scalable and precise DNN constraint solving with abstraction and conflict clause learning