“Our group has a unique combination of expertise in machine learning, formal methods, mechanistic interpretability, and AI safety.”In their own words: ggndpsngh.github.io
Assistant Professor at UIUC who works on trustworthy AI, including formal verification and certified training of neural networks.
Show detailsHide details
Received $532k from 1 funder
Checked 25 Oct 2026
Money flows
Where their 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
- Coefficient Giving$532k
All grants
1 grant totalling $532k, newest first.
2025 1 grant · $532k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| Sep 2025 | Coefficient Giving | $532k | Latent Certified Training Network (Gagandeep Singh) source |