Prof. Nguyen is awarded the National Science Foundation CAREER Award. The title of his project is CAREER: NeuralSAT: A Constraint-Solving Framework for Verifying Deep Neural Networks.
Additional press coverage here: https://www.gmu.edu/news/2023-02/boom-crash-mason-researcher-receives-half-million-nsf-grant-could-steer-ai-safely.
More information here: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2238133
List of all Career Awardees at CS@GMU: https://cs.gmu.edu/about/faculty-awards/