“My research aims to build trustworthy AI systems that can be safely and reliably used in mission-critical tasks, using both formal and empirical approaches.”In its own words: huan-zhang.com
Research team led by Huan Zhang at UIUC's Department of Electrical and Computer Engineering, building trustworthy AI, including formal verification of neural networks with the open-source alpha-beta-CROWN verifier.
Show detailsHide details
Received $260k from 1 funder
Led by Huan Zhang (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.
Funded by
All grants
1 grant totalling $260k, newest first.
2023 1 grant · $260k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| Sep 2023 | NSF Safe Learning-Enabled Systems | $260k | NSF SLES award 2331967: Collaborative Research: Verifying and Enforcing Safety Constraints in AI-based Sequential Generation. Estimated total award; 2023 cohort (NSF 23-562, $10.9M announced 31 Oct 2023); programme run with Open Philanthropy and Good Ventures source |