“reachability analysis and robustness certification of deep neural networks”In its own words: sites.google.com
Research group at the University of Florida led by Hoang-Dung Tran, working on formal verification of deep neural networks and learning-enabled cyber-physical systems; it develops the NNV and StarV verification tools.
Show detailsHide details
Led by Hoang-Dung Tran (PI (Assistant Professor)Checked 26 Oct 2026
Money flows
Where its money came from and where it went. Pick years and what to show; hover a box or ribbon for details, click one to focus it, click the background to see everything.